Skip to content

Trending in open source

See what the GitHub community is most excited about today.

  1. urweb / urweb

    The Ur/Web programming language

    Standard ML • Built by @achlipala @vizziv @grwlf @vshabanov @lightquake

  2. AuditProject / truecrypt-verified-mirror

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

    Standard ML •

  3. MrChrisJ / World-Citizenship

    Globally orientated citizenship with private passport services using available cryptographic tools

    Standard ML • Built by @MrChrisJ @m0se @JackScottie @WilliamDunne @bitcoinsSG

  4. GoldenCheetah / GoldenCheetah

    Performance Software for Cyclists, Runners and Triathletes

    Standard ML • Built by @liversedge @srhea @grauser @amtriathlon @Joern-R

  5. MLton / mlton

    The MLton repository

    Standard ML • Built by @sweeks @MatthewFluet @terpstra @laurikari @bleibig

  6. 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 • Built by @sestoft @kfl @crusso @dcurrie @Eckankar

  7. Ravenbrook / mlworks

    MLWorks is a Standard ML compiler and development environment.

    Standard ML • Built by @rptb1 @NickBarnes @waywardmonkeys

  8. chrisamaphone / interactive-lp

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

    Standard ML • Built by @chrisamaphone @robsimmons @markfarrell @Johnicholas

  9. CakeML / cakeml

    CakeML: A Verified Implementation of ML

    Standard ML • Built by @xrchz @myreen @SOwens @tanyongkiam @mn200

  10. HOL-Theorem-Prover / HOL

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

    Standard ML • Built by @mn200 @konrad-slind @acjf3 @xrchz @thtuerk

  11. 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 • Built by @jonsterling @jozefg @freebroccolo @vrahli @david-christiansen

  12. gamelinux / prads

    Passive Real-time Asset Detection System

    Standard ML • Built by @comotion @gamelinux @madmac2501 @alandekok @KristianLyng

  13. polyml / polyml

    Poly/ML

    Standard ML • Built by @dcjm @jrtc27 @iislucas @Smattr @glguida

  14. standardml / smackage

    Smackage Package Manager for Standard ML

    Standard ML • Built by @robsimmons @gian @Ahnfelt @msullivan @melsman

  15. surespot / web-server

    surespot node.js web server

    Standard ML • Built by @2fours @repat

  16. melsman / mlkit

    Standard ML Compiler and Toolkit

    Standard ML • Built by @melsman @kfl

  17. jozefg / hm

    A small implementation of type inference

    Standard ML • Built by @jozefg

  18. league / qcheck

    Library for automatic unit testing of Standard ML modules

    Standard ML • Built by @league @nrnrnr @favonia @bsummer4

  19. kayceesrk / multiMLton

    MLton for scalable multicore architectures

    Standard ML • Built by @kayceesrk

  20. mempo / mempo-kernel

    Deterministic kernel build scripts, for Linux, mainly for Debian

    Standard ML • Built by @rfree @0x20c24 @mempomisc @vyrly @Happuri

  21. robsimmons / sml-lib

    Library for Standard ML

    Standard ML • Built by @tom7 @robsimmons @seanmcl

  22. j-baker / l1c

    l1c is a simple formally verified compiler for a while language

    Standard ML • Built by @j-baker

  23. wr / dogecoinpaperwallet

    JavaScript Client-Side Dogecoin Wallet Generator

    Standard ML • Built by @pointbiz @cantonbecker @wr @nsfmc @wellsosaurus

  24. standardml / twelf

    The Twelf Programming Language (mirror of SVN repository)

    Standard ML • Built by @frankpfenning @pientka @robsimmons @cdrichards @seanmcl

  25. smlsharp / smlsharp

    SML# compiler

    Standard ML • Built by @mzp @eldesh

ProTip! Looking for most forked Standard ML repositories? Try this search
Something went wrong with that request. Please try again.