pschanely / contractual-semver
Contractual Semver
☆26Updated 2 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
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆77Updated 3 years ago
- A Datalog Framework for Python☆11Updated 2 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 2 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated 10 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 5 months ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆38Updated last month
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Inline Haskell inside your Python code☆25Updated 4 months ago
- A small logic programming language.☆15Updated 10 months ago
- ☆36Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- z3-powered solver (theorem prover) for deal☆11Updated last year
- Modular generated command line interfaces using the same technology as the NixOS module system.☆44Updated 2 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 10 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 2 months ago
- A math language for dimensional analysis☆22Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Brainfuck with Actors☆36Updated 6 years ago
- Hash-based Diffing for AST's☆76Updated 4 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Prolog Home Page☆71Updated 2 weeks ago
- A lightweight python3 library for arithmetic with real numbers.☆64Updated 2 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 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 weeks ago