pschanely / contractual-semver
Contractual Semver
☆26Updated 3 years ago
Alternatives and similar repositories for contractual-semver:
Users that are interested in contractual-semver are comparing it to the libraries listed below
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Inline Haskell inside your Python code☆25Updated 5 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated 11 months ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Datalog + Egg = Good☆66Updated last year
- A math language for dimensional analysis☆22Updated last year
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- ☆37Updated last year
- z3-powered solver (theorem prover) for deal☆12Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- Render diagrams to Braille☆29Updated last month
- A Datalog Framework for Python☆11Updated 2 years ago
- ☆11Updated 3 years 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
- A task runner that delegates the work to other tools☆25Updated last week
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- A simple program reducer for any language.☆73Updated last year
- A relational interpretation of Lojban☆33Updated 3 months ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Plot Cookbook☆50Updated 2 years ago
- ☆100Updated 3 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 4 months ago
- Programming Languages Grammar House (BNF like grammars)☆27Updated 8 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago