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:
- Python bindings for dhall, a functional configuration language☆48Updated 9 months ago
- Contractual Semver☆27Updated 3 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years 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
- A list of compilers with some metadata.☆12Updated last year
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 3 weeks ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆192Updated this week
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated last month
- Stroll: an experimental build system☆41Updated 2 years ago
- Render hierarchical git repositories into HTML☆74Updated 7 months ago
- A typed, polyglot, functional language☆204Updated this week
- My PhD Thesis☆15Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- Compiler for the M language, used to compute the income tax of French taxpayers☆197Updated 2 weeks ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆36Updated 8 months ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- Vim syntax highlight and indent definition for coconut.☆19Updated 7 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- Straightforward unification in Python that's extensible via generic functions.☆49Updated last week
- Text generation language☆34Updated last month
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- the bash templating language☆53Updated last year
- Brainfuck with Actors☆36Updated 6 years ago