Alternatives and similar repositories for SMLDoc

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

• diku-dk / sigdoc

  View on GitHub
  Signature documentation tool for Standard ML
  ☆14Oct 4, 2023Updated 2 years ago
• michiakig / maml

  View on GitHub
  (the first half of) an ML compiler
  ☆10Sep 6, 2014Updated 11 years ago
• dbuenzli / utext

  View on GitHub
  Unicode text for OCaml
  ☆14Feb 19, 2018Updated 7 years ago
• league / qcheck

  View on GitHub
  Library for automatic unit testing of Standard ML modules
  ☆71Jul 22, 2020Updated 5 years ago
• stonebuddha / tree-sitter-sml

  View on GitHub
  Standard ML Grammar for Tree-sitter
  ☆25Jan 14, 2022Updated 4 years ago
• Lindydancer / highlight-refontification

  View on GitHub
  Visualize how font-lock refontifies a buffer
  ☆22Jan 4, 2025Updated last year
• bobatkey / foveran

  View on GitHub
  A Dependently Typed Programming Language
  ☆26Jul 24, 2020Updated 5 years ago
• standardml / cmlib

  View on GitHub
  A basic library of algorithms and data structures (a la NJlib)
  ☆76Apr 1, 2025Updated 10 months ago
• Elderry / TaPL-SML

  View on GitHub
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Jul 10, 2015Updated 10 years ago
• dbuenzli / rresult

  View on GitHub
  Result value combinators for OCaml
  ☆36Nov 6, 2023Updated 2 years ago
• j4cbo / stilts

  View on GitHub
  SML On Stilts
  ☆37Feb 6, 2014Updated 12 years ago
• andrejbauer / partial-combinatory-algebras

  View on GitHub
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Jan 6, 2025Updated last year
• shwestrick / smlfmt

  View on GitHub
  A custom parser/auto-formatter for Standard ML
  ☆88Jan 1, 2026Updated last month
• tetracat / emacsrepl

  View on GitHub
  EMACS> █
  ☆33May 8, 2016Updated 9 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• aaronang / tiger

  View on GitHub
  Solutions to Modern Compiler Implementation in ML 🐯
  ☆10May 24, 2017Updated 8 years ago
• fukamachi / asn1

  View on GitHub
  ASN.1 decoder
  ☆13Mar 29, 2022Updated 3 years ago
• BruceJillis / fp.py

  View on GitHub
  Compiler and interpreter for a miranda-like functional language in Python.
  ☆12Dec 28, 2011Updated 14 years ago
• jozefg / hm

  View on GitHub
  A small implementation of type inference
  ☆80May 19, 2015Updated 10 years ago
• AriaFallah / ppx_str

  View on GitHub
  PPX for template strings
  ☆14Nov 17, 2018Updated 7 years ago
• EthanArbuckle / EASplashScreen

  View on GitHub
  Add an awesome sliding splash screen to your app with 3 lines of code
  ☆16Jul 8, 2013Updated 12 years ago
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago
• AIMLC-IITD / Summer-of-ML-2021

  View on GitHub
  [SOML'21] Reference material, tutorial notebooks and other resources for Summer of ML, organised by AIMLC IITD.
  ☆10Jul 4, 2021Updated 4 years ago
• arthuraa / beaq

  View on GitHub
  A Formalization of TeX in Coq
  ☆11Feb 27, 2022Updated 3 years ago
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• project-everest / MLCrypto

  View on GitHub
  OCaml adapters for crypto providers used in Everest
  ☆10Sep 13, 2018Updated 7 years ago
• sanette / ocaml-api

  View on GitHub
  Proposition for modernizing the OCaml API from the official manual
  ☆10Apr 1, 2023Updated 2 years ago
• rjbou / opam-otopop

  View on GitHub
  opam plugin to automatically populate opam file at install command
  ☆10Mar 7, 2024Updated last year
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• CoqHott / logrel-mltt

  View on GitHub
  A Logical Relation for Martin-Löf Type Theory in Agda
  ☆10Jul 31, 2025Updated 6 months ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• cbarrett / XPC-Calc

  View on GitHub
  The world's worst RPN calculator, powered by XPC and Haskell
  ☆17Sep 29, 2011Updated 14 years ago
• JohnEarnest / VectorLand

  View on GitHub
  A tiny thin client for multiplayer games
  ☆19Feb 6, 2014Updated 12 years ago
• monstasat / chartjs-ocaml

  View on GitHub
  Chart.js bindings for OCaml
  ☆13May 13, 2021Updated 4 years ago
• kevinburke / read-mongo-logs

  View on GitHub
  Tail Mongo database logs
  ☆11Aug 31, 2017Updated 8 years ago
• LocalCharts / silviculture

  View on GitHub
  ☆16Jun 9, 2024Updated last year