GavinMendelGleason / syntactic_versioning

Related projects ⓘ

Alternatives and complementary repositories for syntactic_versioning

• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆130Updated 7 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆235Updated last week
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 9 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆75Updated 4 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆128Updated last week
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆73Updated 6 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• abuseofnotation / vanilla-fp
  The no-framework framework for building component-based purely-functional UIs.
  ☆126Updated last year
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆195Updated last week
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆58Updated 5 months ago
• JosephSBoyle / skip_gram
  ☆36Updated last year
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆26Updated 2 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆36Updated 2 weeks ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆90Updated 6 months ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 6 months ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆376Updated this week
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆85Updated last week
• WebSheets / websheets-core
  Non-presentation components of websheets
  ☆40Updated last year
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated last year
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆143Updated 6 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 2 years ago
• caminadab / metamine
  A new declarative programming language
  ☆22Updated 4 years ago