Alternatives and similar repositories for XATSHOME

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

• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last month
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 6 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• a-yiorgos / smallprolog
  Small Prolog
  ☆14Updated 9 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 5 years ago
• robsimmons / sketchzone
  Quality-of-life for fiddly little JS apps that modify user-generated text
  ☆20Updated last year
• mthom / scryer-shen
  ☆58Updated 8 months ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆28Updated last year
• PerplexSystems / commandry
  A command-line parser for Standard ML
  ☆21Updated last month
• arcfide / Haven
  Your happy place for learning APL
  ☆15Updated 3 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 8 months ago
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆54Updated 3 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆16Updated 6 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆32Updated 2 months ago
• CTSRD-CHERI / cheribsd-getting-started
  Getting Started with CheriBSD
  ☆15Updated 2 weeks ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆86Updated 2 weeks ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆65Updated this week
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 4 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated 2 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• OriRoth / flunct
  A functional fluent API generator
  ☆35Updated 3 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• aep / zztop
  for science
  ☆10Updated 5 years ago
• 8l / pijul
  Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …
  ☆55Updated 10 years ago