Alternatives and similar repositories for dm552

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

• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆28Updated 7 months ago
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 3 months ago
• tsani / eval
  An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
  ☆10Updated last year
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• mrnugget / monkeylang
  Official website for Monkey
  ☆41Updated 3 months ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 6 years ago
• gleam-lang / example-lisp-interpreter
  👾 A Lisp interpreter in Gleam!
  ☆37Updated last month
• wipplelang / wipple
  Learn to code with Wipple.
  ☆34Updated this week
• bmourad01 / ocamlchess
  UCI-compatible chess engine in OCaml.
  ☆13Updated 3 weeks ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 7 months ago
• ludwigpacifici / saumon
  Lox language implemented in OCaml
  ☆14Updated 4 years ago
• Hans-Halverson / myte
  Compiler and tooling for the Myte programming language.
  ☆21Updated 2 years ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆188Updated this week
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 11 months ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• ocaml / graphics
  The Graphics library from OCaml, in a standalone repository
  ☆70Updated 2 months ago
• Jackojc / klaxon
  Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
  ☆18Updated 2 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆29Updated 3 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆69Updated 5 months ago
• teamduck / duck-lang
  The Duck Programming Language
  ☆38Updated 9 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated this week
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆56Updated this week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆115Updated 4 months ago
• smlhelp / book
  deployment for smlhelp page
  ☆40Updated last month
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆63Updated 3 years ago
• cara-lang / compiler
  Cara language compiler
  ☆45Updated 6 months ago
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆252Updated 3 months ago
• michallepicki / tibe
  Ahnfelt's Type Inference by Example but implemented in Gleam
  ☆12Updated last year
• enact-lang / enact
  (WIP) Enact: A compiled programming language that's simple, familiar and fast.
  ☆29Updated 4 years ago