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
  ☆71Updated last year
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• smlnj / smlnj
  Standard ML of New Jersey
  ☆195Updated last week
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆62Updated 3 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆23Updated 11 months ago
• 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).
  ☆36Updated last week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆42Updated this week
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆136Updated 2 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆56Updated 8 months ago
• rain-1 / continuations-study-group
  ☆77Updated 5 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated last month
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆42Updated 2 months ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated 11 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆55Updated 9 months ago
• kcrary / cmtool
  Lexer and parser generators for Standard ML, OCaml, and Haskell.
  ☆37Updated 2 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆29Updated 5 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆93Updated last week
• MatthewFluet / company-mlton
  company-mode completion back-end for MLton/Standard ML
  ☆14Updated 4 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆41Updated last year
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆32Updated 3 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 5 months ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆15Updated 4 months ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆81Updated 3 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 2 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆59Updated 4 years ago
• ralsei / bingus
  A program synthesizer for code in the How to Design Programs curriculum
  ☆13Updated last year
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆57Updated 4 months ago