smlhelp / book

Related projects ⓘ

Alternatives and complementary repositories for book

• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆68Updated 11 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆23Updated 9 months ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆59Updated last month
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆184Updated last week
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 3 years ago
• ralsei / bingus
  A program synthesizer for code in the How to Design Programs curriculum
  ☆13Updated 10 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆71Updated last year
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 2 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆132Updated 3 weeks ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆54Updated 6 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆38Updated 2 weeks ago
• MatthewFluet / company-mlton
  company-mode completion back-end for MLton/Standard ML
  ☆14Updated 3 years 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).
  ☆34Updated last week
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆47Updated this week
• ngzhian / ski
  SKI combinators
  ☆50Updated 7 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆29Updated 3 months ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆15Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆177Updated last week
• Lysxia / advent-of-coq-2021
  ☆38Updated 2 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆82Updated 3 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆107Updated 2 years ago
• favonia / hdtt2020-notes
  ☆35Updated 3 years ago
• rain-1 / continuations-study-group
  ☆77Updated 5 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆61Updated last year
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆34Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last week
• shriram / mystery-languages
  Mystery Languages
  ☆35Updated last year