Hazelfire / pedant
A math language for dimensional analysis
☆22Updated last year
Alternatives and similar repositories for pedant:
Users that are interested in pedant are comparing it to the libraries listed below
- Contractual Semver☆26Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Domain Specific Languages for Computational Law☆72Updated 3 months ago
- Proposed documentation for alloytools.org☆70Updated 5 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 11 months ago
- A general purpose relational language☆19Updated 5 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Functional, expression-oriented data processing language☆87Updated this week
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆75Updated 2 weeks ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 weeks ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- Run dyalog APL and RIDE on nixos☆20Updated 11 months ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated last month
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- ☆17Updated 4 years ago
- A decentralized linux distribution.☆12Updated 3 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 10 months ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Datalog + Egg = Good☆66Updated last year
- bi-directional tangle daemon for literate programming☆88Updated 2 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated 11 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 2 months ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago