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 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Python bindings for dhall, a functional configuration language☆48Updated 9 months ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- rslt, take five-ish☆152Updated 4 years ago
- Proposed documentation for alloytools.org☆70Updated last week
- ☆16Updated 4 years ago
- ☆16Updated last year
- Functional, expression-oriented data processing language☆90Updated 2 months ago
- A typed, polyglot, functional language☆204Updated this week
- Brainfuck with Actors☆36Updated 6 years ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆193Updated last week
- The Brown Benchmark for Table Types (B2T2)☆64Updated last month
- A semantic Extension of TeX/LaTeX☆54Updated last month
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated last year
- The glitch-soc/Mastodon fork running on types.pl☆26Updated last month
- Generate a static HTML archive of messages in any combination of streams in a Zulip organization.☆81Updated 6 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last week
- the bash templating language☆53Updated last year
- Render hierarchical git repositories into HTML☆74Updated 8 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year