Alternatives and similar repositories for contractual-semver

Users that are interested in contractual-semver are comparing it to the libraries listed below

• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 6 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆42Updated this week
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated last year
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated 2 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated 2 years ago
• smarr / effortless-language-servers
  Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage
  ☆19Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆98Updated last year
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆12Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• lambduli / minilog
  A small logic programming language.
  ☆16Updated last year
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆27Updated 3 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆67Updated 2 years ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆60Updated 2 weeks ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 7 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆26Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• ret2pop / stem
  A minimal stack based programming language
  ☆32Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago