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
  ☆14Updated 6 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last month
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• arcfide / Haven
  Your happy place for learning APL
  ☆15Updated 3 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆65Updated last week
• robsimmons / sketchzone
  Quality-of-life for fiddly little JS apps that modify user-generated text
  ☆20Updated last year
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆26Updated last year
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆23Updated 4 years ago
• CTSRD-CHERI / cheribsd-getting-started
  Getting Started with CheriBSD
  ☆15Updated 3 weeks ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 11 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆14Updated 9 years ago
• PerplexSystems / commandry
  A command-line parser for Standard ML
  ☆21Updated last month
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 5 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last month
• mthom / scryer-shen
  ☆58Updated 8 months ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆77Updated 2 months ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆47Updated 11 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆16Updated 6 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated 2 months ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆28Updated last year