Alternatives and similar repositories for contractual-semver:

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

• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 9 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 3 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 weeks ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆25Updated 9 months ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆76Updated 3 years ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆15Updated last year
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆38Updated this week
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 4 months ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆133Updated 7 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆103Updated this week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 5 months ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 4 months ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• GrammaTech / resolve
  Resolve software differencing and merging
  ☆37Updated 2 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• robsimmons / sketchzone
  Quality-of-life for fiddly little JS apps that modify user-generated text
  ☆18Updated 3 weeks ago