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:
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- Contractual Semver☆27Updated 3 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Python bindings for dhall, a functional configuration language☆48Updated 10 months ago
- Domain Specific Languages for Computational Law☆77Updated 3 months ago
- bi-directional tangle daemon for literate programming☆93Updated 2 years ago
- Functional, expression-oriented data processing language☆90Updated 3 months ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆193Updated last week
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- A list of compilers with some metadata.☆12Updated last year
- Hash-based Diffing for AST's☆77Updated 5 years ago
- ☆16Updated last year
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 months ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last week
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Stroll: an experimental build system☆41Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 3 years ago
- Render hierarchical git repositories into HTML☆74Updated 9 months ago
- Proposed documentation for alloytools.org☆71Updated last month
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆37Updated 9 months ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 2 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago
- Inline Haskell inside your Python code☆25Updated 10 months ago
- the bash templating language☆53Updated last year
- An experiment in using DuckDB for a datalog / egg☆26Updated 2 years ago