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
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 6 months ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆291Updated this week
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆45Updated 5 months ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆86Updated this week
• Jackojc / klaxon
  Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
  ☆18Updated 2 years ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 12 years ago
• zhiayang / lambda
  lambda calculus interpreter
  ☆44Updated 4 years ago
• aya-lang / aya
  Pocket sized programs
  ☆59Updated last week
• joes-esolangs / cassette
  a new evolutionary highlevel and readable tape language (unlike brainf)
  ☆17Updated 2 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆37Updated last week
• Wodan58 / Joy
  Manfred von Thun's Programming Language Joy
  ☆94Updated 6 months ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆216Updated this week
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆256Updated 6 months ago
• tjammer / raylib-ocaml
  OCaml bindings for raylib and raygui
  ☆211Updated 3 weeks ago
• 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
• ArgonLang / Argon
  Argon programming language
  ☆54Updated 11 months ago
• rossberg / hamlet
  SML reference interpreter
  ☆116Updated 2 weeks ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆160Updated 3 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆32Updated 2 months ago
• amuletml / amulet
  An ML-like functional programming language
  ☆336Updated 3 years ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆63Updated 3 weeks ago
• abrudz / ngn-apl
  An APL interpreter written in JavaScript. Runs in a browser or NodeJS.
  ☆57Updated last year
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆92Updated 2 years ago
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆60Updated 7 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆64Updated last week