Open source projects in Standard ML

  • chrisamaphone/interactive-lp

    Project materials related to logic programming for interactive/reactive systems.

    ☕Standard ML   ★152 stars   ⚠2 open issues   ⚭4 contributors   ☯about 6 years old  
  • MLton/mlton

    The MLton repository

    ☕Standard ML   ★373 stars   ⚠22 open issues   ⚭19 contributors   ☯almost 6 years old  
  • urweb/urweb

    The Ur/Web programming language

    ☕Standard ML   ★478 stars   ⚠30 open issues   ⚭18 contributors   ☯almost 3 years old  
  • kfl/mosml

    Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

    ☕Standard ML   ★189 stars   ⚠26 open issues   ⚭8 contributors   ☯over 9 years old  
  • CakeML/cakeml

    CakeML: A Verified Implementation of ML

    ☕Standard ML   ★344 stars   ⚠88 open issues   ⚭7 contributors   ☯about 6 years old  
  • mempo/mempo-kernel

    Deterministic kernel build scripts, for Linux, mainly for Debian

    ☕Standard ML   ★47 stars   ⚠3 open issues   ⚭12 contributors   ☯about 5 years old  
  • jonsterling/JonPRL

    An proof refinement logic for computational type theory based on Brouwer-realizability & the verificationist meaning explanation. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, Red JonPRL: https://github.com/JonPRL/sml-red-jonprl]

    ☕Standard ML   ★100 stars   ⚠32 open issues   ⚭8 contributors   ☯over 3 years old  
  • gamelinux/prads

    Passive Real-time Asset Detection System

    ☕Standard ML   ★127 stars   ⚠6 open issues   ⚭11 contributors   ☯almost 10 years old  
  • melsman/mlkit

    Standard ML Compiler and Toolkit

    ☕Standard ML   ★106 stars   ⚠4 open issues   ⚭2 contributors   ☯over 4 years old  
  • polyml/polyml

    Poly/ML

    ☕Standard ML   ★171 stars   ⚠9 open issues   ⚭7 contributors   ☯over 3 years old  
  • league/qcheck

    Library for automatic unit testing of Standard ML modules

    ☕Standard ML   ★52 stars   ⚠1 open issues   ⚭4 contributors   ☯over 8 years old  
  • GoldenCheetah/GoldenCheetah

    Performance Software for Cyclists, Runners and Triathletes

    ☕Standard ML   ★562 stars   ⚠269 open issues   ⚭67 contributors   ☯over 9 years old  
  • AuditProject/truecrypt-verified-mirror

    Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files

    ☕Standard ML   ★745 stars   ⚠2 open issues   ⚭0 contributors   ☯over 4 years old  
  • MrChrisJ/World-Citizenship

    Globally orientated citizenship with private passport services using available cryptographic tools

    ☕Standard ML   ★385 stars   ⚠20 open issues   ⚭5 contributors   ☯about 4 years old  
  • Ravenbrook/mlworks

    MLWorks is a Standard ML compiler and development environment.

    ☕Standard ML   ★135 stars   ⚠15 open issues   ⚭3 contributors   ☯over 5 years old  
  • kayceesrk/multiMLton

    MLton for scalable multicore architectures

    ☕Standard ML   ★47 stars   ⚠4 open issues   ⚭1 contributors   ☯about 8 years old  
  • standardml/smackage

    Smackage Package Manager for Standard ML

    ☕Standard ML   ★78 stars   ⚠11 open issues   ⚭8 contributors   ☯about 7 years old  
  • HOL-Theorem-Prover/HOL

    Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

    ☕Standard ML   ★197 stars   ⚠118 open issues   ⚭22 contributors   ☯about 9 years old  
  • eatonphil/ponyo

    Library and toolkit for Standard ML

    ☕Standard ML   ★82 stars   ⚠29 open issues   ⚭2 contributors   ☯almost 3 years old  
  • JonPRL/sml-red-jonprl

    Decisively Smash the Formalist Clique!—The People's Refinement Logic

    ☕Standard ML   ★43 stars   ⚠24 open issues   ⚭3 contributors   ☯almost 3 years old  
  • smlsharp/smlsharp

    SML# compiler

    ☕Standard ML   ★48 stars   ⚠29 open issues   ⚭2 contributors   ☯over 6 years old  
  • robsimmons/sml-lib

    Library for Standard ML

    ☕Standard ML   ★41 stars   ⚠0 open issues   ⚭3 contributors   ☯over 7 years old  
  • jozefg/hm

    A small implementation of type inference

    ☕Standard ML   ★66 stars   ⚠0 open issues   ⚭1 contributors   ☯almost 4 years old  
  • dbuenzli/vg

    Declarative 2D vector graphics for OCaml

    ☕Standard ML   ★40 stars   ⚠1 open issues   ⚭2 contributors   ☯over 5 years old  
  • jozefg/miniprl

    A small implementation of a proof refinement logic.

    ☕Standard ML   ★41 stars   ⚠2 open issues   ⚭1 contributors   ☯almost 3 years old  
  • clf/celf

    ☕Standard ML   ★46 stars   ⚠1 open issues   ⚭7 contributors   ☯about 7 years old  
  • jrh13/hol-light

    The HOL Light theorem prover (moved from Google code)

    ☕Standard ML   ★106 stars   ⚠31 open issues   ⚭1 contributors   ☯about 3 years old  
  • melsman/apltail

    APL Compiler targeting a typed array intermediate language

    ☕Standard ML   ★91 stars   ⚠4 open issues   ⚭3 contributors   ☯about 4 years old  
  • RedPRL/sml-redprl

    The People's Refinement Logic

    ☕Standard ML   ★140 stars   ⚠65 open issues   ⚭3 contributors   ☯almost 3 years old  
  • UBMLtonGroup/RTMLton

    MLton with Realtime GC and Threading features

    ☕Standard ML   ★91 stars   ⚠2 open issues   ⚭19 contributors   ☯about 3 years old