Alternatives and similar repositories for XATSHOME

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

• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 7 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 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
  ☆19Updated 6 months ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• frankmcsherry / datatoad
  An interactive Datalog
  ☆37Updated this week
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 9 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆16Updated 6 years ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆27Updated 8 months ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 14 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• otdav33 / Fractal-Toolkit
  Render, select coordinates, export to video and more.
  ☆14Updated last year
• graydon / exhaustigen
  ☆11Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆73Updated last year
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆68Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆36Updated 3 months ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆12Updated 8 years ago