Hazelfire / pedantLinks
A math language for dimensional analysis
☆23Updated 2 years ago
Alternatives and similar repositories for pedant
Users that are interested in pedant are comparing it to the libraries listed below
Sorting:
- Contractual Semver☆27Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- Python bindings for dhall, a functional configuration language☆48Updated 8 months ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Proposed documentation for alloytools.org☆70Updated 8 months ago
- A typed, polyglot, functional language☆204Updated this week
- optimize your home bar with ✨logic programming✨☆77Updated 3 years ago
- Domain Specific Languages for Computational Law☆76Updated last month
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆190Updated last week
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 5 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 8 months ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 3 weeks ago
- The glitch-soc/Mastodon fork running on types.pl☆25Updated 3 weeks ago
- bi-directional tangle daemon for literate programming☆94Updated 2 years ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- rslt, take five-ish☆151Updated 4 years ago
- ☆53Updated 4 years ago
- A prettyprinting library designed for laying out plain text documents☆23Updated last month
- Font for turning J into APL☆13Updated 6 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆35Updated 7 months ago
- ☆17Updated 6 years ago
- Functional, expression-oriented data processing language☆89Updated last month
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆82Updated last month
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆75Updated last year
- A graphical interactive proof assistant designed for education☆167Updated 8 months ago