Alternatives and similar repositories for book

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

• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated last week
• smlnj / legacy
  This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆38Updated this week
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆27Updated last year
• smlnj / smlnj
  Standard ML of New Jersey
  ☆207Updated 2 weeks ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 8 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• gelisam / klister
  an implementation of stuck macros
  ☆140Updated 2 months ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated 9 months ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 2 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆67Updated 7 months ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆53Updated this week
• ralsei / bingus
  A program synthesizer for code in the How to Design Programs curriculum
  ☆13Updated last year
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆16Updated 8 months ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 5 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 11 months ago
• MatthewFluet / company-mlton
  company-mode completion back-end for MLton/Standard ML
  ☆14Updated 4 years ago
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 8 months ago
• rossberg / hamlet
  SML reference interpreter
  ☆113Updated 2 years ago