Alternatives and similar repositories for mulligan

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

• T-Brick / molasses

  View on GitHub
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18May 26, 2025Updated 8 months ago
• MatthewFluet / tree-sitter-sml

  View on GitHub
  Standard ML (SML) grammar for tree-sitter
  ☆14May 22, 2025Updated 8 months ago
• azdavis / millet

  View on GitHub
  A language server for Standard ML.
  ☆238Dec 11, 2025Updated 2 months ago
• ProjectSavanna / autoformat

  View on GitHub
  Standard ML autoformatter
  ☆15Dec 25, 2021Updated 4 years ago
• standardml / cmlib

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

  View on GitHub
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Jul 24, 2024Updated last year
• abigalekim / segtrees

  View on GitHub
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆22May 7, 2021Updated 4 years ago
• Cypher1 / tako

  View on GitHub
  An experimental programming language for ergonomic software verification
  ☆16Feb 5, 2026Updated last week
• FormalSAT / trestle

  View on GitHub
  ☆23Sep 3, 2025Updated 5 months ago
• smlhelp / book

  View on GitHub
  deployment for smlhelp page
  ☆43Jun 14, 2025Updated 8 months ago
• shwestrick / smlfmt

  View on GitHub
  A custom parser/auto-formatter for Standard ML
  ☆88Jan 1, 2026Updated last month
• stonebuddha / tree-sitter-sml

  View on GitHub
  Standard ML Grammar for Tree-sitter
  ☆25Jan 14, 2022Updated 4 years ago
• T-Brick / lean-wasm

  View on GitHub
  Formalising the WASM spec in Lean
  ☆27Nov 14, 2025Updated 3 months ago
• robsimmons / abbot

  View on GitHub
  Generation of abstract binding trees
  ☆27Sep 26, 2025Updated 4 months ago
• JamesGallicchio / LeanColls

  View on GitHub
  WIP collections library for Lean 4
  ☆32May 8, 2025Updated 9 months ago
• sahil485 / hand-structure-authentication

  View on GitHub
  Research paper repository for "A Hand Structure-Based Mobile Authentication Solution to the Security-Reliability Trade-off" Paper from NJ…
  ☆13Jul 30, 2023Updated 2 years ago
• dariusf / ppx_debug

  View on GitHub
  Tools for record-and-replay debugging
  ☆44Mar 9, 2023Updated 2 years ago
• warrpy / 3D-Movement-and-Animations

  View on GitHub
  Demo shows third-person movement, how animation and state machines work in Godot Engine.
  ☆11Jan 5, 2022Updated 4 years ago
• forax / write_your_dynamic_language_runtime

  View on GitHub
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆16Feb 7, 2026Updated last week
• lactf / lactf-platform

  View on GitHub
  Platform for LA CTF. Forked from redpwn/rctf.
  ☆11Feb 6, 2026Updated last week
• pauladam94 / curryst

  View on GitHub
  Typst Package to typeset inference rule
  ☆57Dec 11, 2025Updated 2 months ago
• RobertHarper / TILT-Compiler

  View on GitHub
  Standard ML compiler based on typed intermediate languages.
  ☆51Aug 22, 2014Updated 11 years ago
• kenpratt / rusty_scheme

  View on GitHub
  A Scheme interpreter written in Rust
  ☆90Nov 7, 2018Updated 7 years ago
• azur1s / holymer

  View on GitHub
  (WIP) A programming language
  ☆42Jan 12, 2025Updated last year
• Lokathor / zstring

  View on GitHub
  Zero-terminated string types for FFI.
  ☆13Mar 13, 2023Updated 2 years ago
• juniorxxue / learn-plt-redex

  View on GitHub
  Resources for Learning PLT Redex
  ☆13Jul 24, 2021Updated 4 years ago
• mumu12641 / strawberry

  View on GitHub
  🍓 A toy object-oriented programming language written by rust
  ☆17Apr 10, 2024Updated last year
• ocaml-multicore / domain-local-await

  View on GitHub
  A scheduler independent blocking mechanism
  ☆19Feb 15, 2024Updated 2 years ago
• trackoor / Pistolet

  View on GitHub
  🔫 Toy ML-like Imperative Programming Language (WIP)
  ☆10Apr 15, 2021Updated 4 years ago
• nical / misc

  View on GitHub
  Miscellaneous stuff.
  ☆10Jan 26, 2026Updated 2 weeks ago
• haraldmaida / lamcal

  View on GitHub
  A lambda calculus parser, evaluator and repl
  ☆11Oct 30, 2021Updated 4 years ago
• camio / sbase

  View on GitHub
  ☆23Nov 13, 2014Updated 11 years ago
• c-cube / thread-local-storage

  View on GitHub
  thread-local storage for OCaml
  ☆17Jan 13, 2025Updated last year
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• cmuparlay / psac

  View on GitHub
  Parallel Self-Adjusting Computation
  ☆15Jul 5, 2021Updated 4 years ago
• lukashoracek / lua-scheduler

  View on GitHub
  Simple Lua coroutine/task scheduler example
  ☆10Jul 25, 2021Updated 4 years ago
• zakarumych / amity

  View on GitHub
  Concurrency algorithms
  ☆11Apr 7, 2025Updated 10 months ago
• nical / parasol

  View on GitHub
  A multi-threaded job scheduler in Rust.
  ☆14Aug 18, 2022Updated 3 years ago
• aymericbeaumet / gors

  View on GitHub
  Go toolchain written in rust (parser, compiler)
  ☆10Jan 21, 2026Updated 3 weeks ago