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
• 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
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 3 weeks ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 3 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 5 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 5 years ago
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated last year
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated last year
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 11 months ago
• ehatti / konna
  ☆16Updated 3 years ago
• slerpyyy / paste-lang
  An esoteric programming language build around macros
  ☆42Updated 5 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆65Updated last week
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated this week
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆139Updated 5 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 4 years ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆170Updated 4 months ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆29Updated 8 years ago
• zachgk / catln
  A high-level programming language
  ☆40Updated last year
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆21Updated 3 years ago
• MarcelGarus / orchard
  A playground for programming language ideas.
  ☆20Updated last week
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆204Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆38Updated 3 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 3 weeks ago