Alternatives and similar repositories for dm552

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

• ElnurMustafayev / FBES_1229
  ☆15Updated last year
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 9 months ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆108Updated 2 months ago
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 5 months ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆92Updated 2 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 7 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆62Updated last month
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆31Updated last year
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆69Updated 7 months ago
• aya-lang / aya
  Pocket sized programs
  ☆58Updated 2 weeks ago
• zhiayang / lambda
  lambda calculus interpreter
  ☆44Updated 4 years ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆43Updated 5 months ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆213Updated this week
• cannadayr / rsbqn
  An embeddable BQN virtual machine in rust. Stay tuned!
  ☆34Updated 3 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆272Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated 2 months ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆167Updated 5 years ago
• lucu-language / lucu
  A systems programming language with lexical effect handlers
  ☆13Updated 4 months ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆288Updated 5 months ago
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆39Updated 2 weeks ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆142Updated last month
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆33Updated 9 months ago
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated this week
• knight-lang / knight-lang
  The Knight Programming Language
  ☆72Updated last month
• strictly-lang / compiler
  strictly is a declarative programming language for interactive web-components
  ☆10Updated last year
• stereobooster / write-you-a-programming-language
  List of small programming languages that you can implement in a relatively small amount of time for educational purposes.
  ☆110Updated 4 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆34Updated 5 years ago