Alternatives and similar repositories for syntactic_versioning:

Users that are interested in syntactic_versioning are comparing it to the libraries listed below

• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 11 months ago
• HnimNart / deeplearning
  ☆52Updated 4 years ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆132Updated 11 months ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆27Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• mcnuttandrew / forum-explorer
  Explore Forum Structured Data (on HackerNews) Visually
  ☆42Updated 2 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆240Updated last week
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆97Updated 10 months ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated last month
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• GavinMendelGleason / blog
  Gavin Mendel-Gleason's blog
  ☆89Updated last year
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆74Updated 10 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• abuseofnotation / vanilla-fp
  The no-framework framework for building component-based purely-functional UIs.
  ☆125Updated last month
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 4 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆112Updated last month
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 10 months ago
• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆198Updated 2 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 2 years ago
• CodeRibbon / CodeRibbon
  Navigate your code in an infinite timeline of code patches!
  ☆163Updated last year
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated last week