Alternatives and similar repositories for contractual-semver

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

• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆73Updated last year
• 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
  ☆23Updated 2 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆65Updated 5 months ago
• guregu / php
  Prolog Home Page
  ☆73Updated last month
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 8 months ago
• jeprinz / pantograph
  ☆89Updated 5 months ago
• Fault-lang / Fault
  a language for building system dynamic models
  ☆166Updated 2 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆28Updated 3 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last month
• sylver-dev / sylver-cli
  ☆108Updated last year
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 4 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆74Updated 2 years ago
• codesoap / httpipe
  WIP; specification of a format for communicating streams of HTTP requests and responses
  ☆14Updated last year
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆38Updated 2 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 6 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆100Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆35Updated 3 months ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 4 years ago
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 3 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆134Updated last year
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆27Updated last year
• nixosbrasil / climod
  Modular generated command line interfaces using the same technology as the NixOS module system.
  ☆44Updated 2 years ago
• shaunlebron / parinfer
  ☆40Updated 2 years ago