Alternatives and similar repositories for the-little-typer

Users that are interested in the-little-typer are comparing it to the libraries listed below

• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆153Updated last month
• paulcadman / the-little-typer
  Resources for "The Little Typer" study group
  ☆49Updated 5 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated 3 months ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• UniMath / Schools
  ☆94Updated 8 months ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• jozefg / nbe-for-mltt
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆131Updated last year
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated last year
• ocaml / vim-ocaml
  Vim runtime files for OCaml
  ☆85Updated 5 months ago
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆97Updated 6 years ago
• smlhelp / book
  deployment for smlhelp page
  ☆42Updated 6 months ago
• yjqww6 / macrology
  ☆39Updated 4 years ago
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆34Updated 2 years ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆107Updated last year
• bobzhang / ocaml-book
  a book about ocaml
  ☆188Updated 8 years ago
• jluningp / smlformat
  An auto-formatter for the Standard ML language
  ☆23Updated 5 years ago
• racket / eopl
  ☆39Updated last month
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆120Updated 3 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆121Updated 2 months ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆149Updated 3 months ago
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆31Updated 4 years ago
• aryx / efuns
  An Emacs clone written in OCaml
  ☆33Updated 2 weeks ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆71Updated last year
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 9 years ago
• awalterschulze / the-little-typer-exercises
  exercises for the book - the little typer
  ☆21Updated 7 months ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆189Updated 2 years ago
• standardml / cmlib
  A basic library of algorithms and data structures (a la NJlib)
  ☆75Updated 9 months ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆206Updated 3 months ago