Alternatives and similar repositories for Neb

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

• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• scc416 / Visual2
  ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable
  ☆30Updated 3 years ago
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆58Updated 2 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• tearflake / symbolverse
  experimental minimalistic symbolic term rewriting framework
  ☆18Updated 4 months ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 5 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 10 months ago
• Janko-dev / plogic
  Propositional logic evaluator and rule-based pattern matcher
  ☆21Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• mkhan45 / RustScript
  RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
  ☆31Updated 4 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆27Updated 3 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• nickpascucci / verso
  A new approach to literate programming.
  ☆84Updated last year
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆15Updated 2 years ago
• TotallyNotChase / c-iterplus
  Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators
  ☆31Updated 4 years ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 2 weeks ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• ekzhang / ukanren-rs
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆116Updated 2 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated last month
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated 2 weeks ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 4 years ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆76Updated 7 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, …
  ☆54Updated 10 years ago
• matklad / miniml
  ☆22Updated 9 years ago
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆31Updated 11 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated last year