∫ Mathematical DSLs - abnv · Scour

Recent Advances in LLMs for Mathematics

youtube.com·4d·

Discuss: Hacker News

📐Mathematical Computing

Dot Chain Special Operators

yamlscript.org·9h

**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown fractal-based geometric sequences within...

freederia.com·16h

🔢Algebraic Datatypes

Build a Compiler in Five Projects

kmicinski.com·4h

🎭Racket Modules

Differential Logic • 1

inquiryintoinquiry.com·1d

🧩Constraint Logic

lib.rs·2d

📐Mathematical Computing

The Little Book of Linear Algebra

little-book-of.github.io·1d

🧮Linear Algebra

DCP-o-matic • CPL as compositions and multiple CPLs

dcpomatic.com·23h

🎨Domain-Specific Languages

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·1d

🎯Symbolic Execution

Private Data Space Model

privatedata.space·2d

🪢Rope Data Structures

Zinc Language Design

ziggit.dev·5h

First Proof | Research-Level Math for AI Evaluation

1stproof.org·1d·

Discuss: Hacker News

🧩Constraint Solvers

Free online toolbox with 50+ useful tools – no ads, no signup required

strongtools.site·22m·

Discuss: r/SideProject

✨Code Formatters

Kotlin Symbol Processing: создаём свой процессор

habr.com·1d

📋Template Compilers

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics

arxiv.org·3d

📐Mathematical Computing

Modern Trends In Floating-Point

semiengineering.com·2d

marzhall/BBL: A couple of tools for OpenEdge ABL

github.com·11h

theprogrammersparadox.blogspot.com·20h·

Discuss: Hacker News

EqPad: A Calculator-Style Equation Editor for LaTeX, Markdown, and PNG

eqpad.kttin.net·17m·

Discuss: DEV

📝Text Editors

Autocrypt v2 - Post-Quantum and Reliable Deletion for Internet Messaging

autocrypt2.org·16h

🛡️Security Type Systems

Loading more...