Alternatives and similar repositories for stilts

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

• jespercockx / reflection-tutorial

  View on GitHub
  ☆17Oct 16, 2018Updated 7 years ago
• tomjridge / tjr_kv

  View on GitHub
  A key-value store for OCaml
  ☆17Feb 1, 2022Updated 4 years ago
• pigworker / EGTBS

  View on GitHub
  being the introduction to co-de-Bruijn metasyntax
  ☆23Apr 29, 2022Updated 3 years ago
• Elderry / TaPL-SML

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

  View on GitHub
  MLton with Realtime GC and Threading features
  ☆103Mar 7, 2024Updated last year
• standardml / smackage

  View on GitHub
  Smackage Package Manager for Standard ML
  ☆124Jun 14, 2022Updated 3 years ago
• FabienHenon / bs-remotedata

  View on GitHub
  RemoteData and WebData to use with bs-fetch for BuckleScript
  ☆18Jan 29, 2019Updated 7 years ago
• sync / reasonml-postgres

  View on GitHub
  Reasonml Native GraphQL server with postgres
  ☆20Aug 17, 2019Updated 6 years ago
• yusufyildirim / ppx-examples

  View on GitHub
  PPX Examples written in ReasonML and Ppxlib
  ☆20Jan 3, 2020Updated 6 years ago
• o1 / n2o

  View on GitHub
  N2O: Standard ML Application Server
  ☆18Nov 6, 2021Updated 4 years ago
• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• anmonteiro / gluten

  View on GitHub
  Reusable runtime library for network protocols
  ☆47Sep 5, 2024Updated last year
• kmicinski / cmsc330examples

  View on GitHub
  Examples from the class CMSC 330 during Summer 2015
  ☆49Jul 23, 2015Updated 10 years ago
• stonebuddha / tree-sitter-sml

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

  View on GitHub
  A Dependently Typed Programming Language
  ☆26Jul 24, 2020Updated 5 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• jhckragh / SMLDoc

  View on GitHub
  SMLDoc, detached from the SML# distribution
  ☆11Oct 22, 2011Updated 14 years ago
• kni / sml-ev

  View on GitHub
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Jan 3, 2026Updated last month
• jdevuyst / rekenaar

  View on GitHub
  Idris tactics for (commutative) monoids
  ☆20May 24, 2020Updated 5 years ago
• andrejbauer / miniLCF

  View on GitHub
  A bare-bones LCF-style proof assistant
  ☆25Aug 13, 2019Updated 6 years ago
• edwinb / IdrisApp

  View on GitHub
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Feb 25, 2020Updated 5 years ago
• kfl / wpp

  View on GitHub
  A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
  ☆19Mar 20, 2021Updated 4 years ago
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• krtx / ws-ocaml

  View on GitHub
  WebSocket server implementation of OCaml
  ☆14May 14, 2019Updated 6 years ago
• jottenlips / agave

  View on GitHub
  🍯 Sweet simple static site generator
  ☆13Feb 4, 2026Updated last week
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• Mathspy / reason-repacked

  View on GitHub
  This is just Reason repacked into a binary for easy use with BuckleScript.
  ☆26Aug 12, 2020Updated 5 years ago
• SMLFamily / SML-The-Living-Language

  View on GitHub
  SML, The Living Language (aka, Successor ML)
  ☆72Apr 4, 2016Updated 9 years ago
• wlitwin / graphv

  View on GitHub
  A real time 2D graphics renderer for OCaml
  ☆28Jan 18, 2025Updated last year
• barko / brr-eg

  View on GitHub
  experiments with Brr/Note
  ☆13Aug 27, 2021Updated 4 years ago
• hengestone / scuttleberl

  View on GitHub
  An Erlang implementation of the Secure Scuttlebutt protocol
  ☆19Oct 31, 2019Updated 6 years ago
• JohnReppy / sml-compiler-utils

  View on GitHub
  A collection of SML utility modules that are useful for compiler writing.
  ☆11Dec 17, 2025Updated last month
• parsonsmatt / yesod-minimal

  View on GitHub
  A tiny, single-file yesod app that can be used as a base for reproducing bugs
  ☆14Mar 24, 2022Updated 3 years ago
• Saizan / parametric-demo

  View on GitHub
  ☆12Jul 8, 2019Updated 6 years ago
• GuillermoCalderon / ProjectiveGeometryInAgda

  View on GitHub
  A formalization of Constructive Projective Geometry in Agda
  ☆12Jun 10, 2019Updated 6 years ago
• Drup / tree_layout

  View on GitHub
  Algorithms to layout trees in a pretty manner.
  ☆36Mar 7, 2022Updated 3 years ago
• atongen / setml

  View on GitHub
  Online, realtime, multiplayer game of Set, from Set Enterprises, Inc., built entirely with ocaml (and reasonml).
  ☆46Dec 31, 2018Updated 7 years ago