pschanely / contractual-semverLinks
Contractual Semver
☆27Updated 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
Sorting:
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- What if Git worked with Programming Languages?☆99Updated 4 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Prolog Home Page☆73Updated 4 months ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated last year
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated last year
- A simple program reducer for any language.☆75Updated 2 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 8 months ago
- ☆94Updated 7 months ago
- A lightweight python3 library for arithmetic with real numbers.☆65Updated 8 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 11 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 9 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- ☆109Updated last year
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- A very minimal implementation of the core idea of Hypothesis☆138Updated last year
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated this week
- A Datalog Framework for Python☆13Updated 2 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- The interface for dit, a universal container file.☆25Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Tagref helps you manage cross-references in your code.☆211Updated 3 weeks ago
- A bibliography for protocol design☆42Updated 5 months ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆20Updated last year
- The rule-based graph programming language GP 2☆68Updated last year
- A dynamic language inspired by Python and E.☆79Updated 4 years ago
- A typed, polyglot, functional language☆204Updated last week