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☆28Updated 3 years ago
- Python bindings for dhall, a functional configuration language☆48Updated 11 months ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆82Updated 3 weeks ago
- optimize your home bar with ✨logic programming✨☆79Updated 3 years ago
- Domain Specific Languages for Computational Law☆77Updated 4 months ago
- A typed, polyglot, functional language☆205Updated this week
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆196Updated this week
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Patoline typesetting system☆192Updated 3 years ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 2 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 11 months ago
- Compiler for the M language, used to compute the income tax of French taxpayers☆196Updated last week
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆53Updated 2 months ago
- Functional, expression-oriented data processing language☆90Updated last week
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- A dynamic language inspired by Python and E.☆78Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 3 months ago
- Proposed documentation for alloytools.org☆71Updated last month
- bi-directional tangle daemon for literate programming☆94Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- A list of compilers with some metadata.☆12Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 8 months ago
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- Straightforward unification in Python that's extensible via generic functions.☆52Updated last week