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 9 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆247Updated last week
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆135Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆107Updated last year
• caminadab / metamine
  A new declarative programming language
  ☆24Updated 5 years ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆76Updated 2 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆90Updated 5 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• jeprinz / pantograph
  ☆101Updated 11 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆85Updated 2 weeks ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆78Updated 2 years ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆81Updated 10 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated last month
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆120Updated this week
• GavinMendelGleason / blog
  Gavin Mendel-Gleason's blog
  ☆89Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆74Updated last year
• GavinMendelGleason / excel_as_code
  Blog on excel as code
  ☆118Updated 4 years ago
• HnimNart / deeplearning
  ☆53Updated 4 months ago
• breck7 / particles.scroll.pub
  Particle Syntax Website
  ☆16Updated last year
• guregu / php
  Prolog Home Page
  ☆74Updated 7 months ago
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆277Updated 2 years ago
• zaboople / klonk
  A text editor with an sort-of-unusual undo/redo algorithm
  ☆225Updated 10 months ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆159Updated 4 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆211Updated this week
• abuseofnotation / vanilla-fp
  The no-framework framework for building component-based purely-functional UIs.
  ☆124Updated 11 months ago
• terminusdb / technical-blogs
  Technical blogs around data collaboration, data management, and building collaborative applications.
  ☆46Updated 2 years ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆211Updated last year
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 2 years ago