Alternatives and similar repositories for tma-16:

Users that are interested in tma-16 are comparing it to the libraries listed below

• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 9 months ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• m-language / m
  A minimal language inspired by Lisp and Haskell
  ☆20Updated 4 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆24Updated 4 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆57Updated 11 months ago
• nikodemus / foolang
  A toy programming language.
  ☆39Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• eashanhatti / konna
  ☆15Updated 2 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆39Updated 2 years ago
• matklad / miniml
  ☆22Updated 8 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• SomewhatML / match-compile
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Updated 4 years ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆28Updated 7 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 months ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 3 years ago
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 3 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• jluningp / smlformat
  An auto-formatter for the Standard ML language
  ☆22Updated 4 years ago
• racket / honu
  ☆19Updated last year
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 5 years ago
• Bogdanp / racket-kafka
  A Kafka client for Racket.
  ☆17Updated last year