Skip to content

Trending in open source

See what the GitHub community is most excited about this week.

  1. eatonphil / ponyo

    Library and toolkit for Standard ML

    Standard ML • 21 stars this week • Built by @DanielRosenwasser @eatonphil

  2. 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

  3. AuditProject / truecrypt-verified-mirror

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

    Standard ML •

  4. MrChrisJ / World-Citizenship

    Globally orientated citizenship with private passport services using available cryptographic tools

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

  5. GoldenCheetah / GoldenCheetah

    Performance Software for Cyclists, Runners and Triathletes

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

  6. MLton / mlton

    The MLton repository

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

  7. 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

  8. Ravenbrook / mlworks

    MLWorks is a Standard ML compiler and development environment.

    Standard ML • Built by @rptb1 @NickBarnes @waywardmonkeys

  9. urweb / urweb

    The Ur/Web programming language

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

  10. chrisamaphone / interactive-lp

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

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

  11. CakeML / cakeml

    CakeML: A Verified Implementation of ML

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

  12. 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

  13. gamelinux / prads

    Passive Real-time Asset Detection System

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

  14. polyml / polyml

    Poly/ML

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

  15. surespot / web-server

    surespot node.js web server

    Standard ML • Built by @2fours @repat

  16. standardml / smackage

    Smackage Package Manager for Standard ML

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

  17. melsman / mlkit

    Standard ML Compiler and Toolkit

    Standard ML • Built by @melsman @kfl

  18. jozefg / hm

    A small implementation of type inference

    Standard ML • Built by @jozefg

  19. league / qcheck

    Library for automatic unit testing of Standard ML modules

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

  20. kayceesrk / multiMLton

    MLton for scalable multicore architectures

    Standard ML • Built by @kayceesrk

  21. mempo / mempo-kernel

    Deterministic kernel build scripts, for Linux, mainly for Debian

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

  22. robsimmons / sml-lib

    Library for Standard ML

    Standard ML • Built by @tom7 @robsimmons @seanmcl

  23. j-baker / l1c

    l1c is a simple formally verified compiler for a while language

    Standard ML • Built by @j-baker

  24. wr / dogecoinpaperwallet

    JavaScript Client-Side Dogecoin Wallet Generator

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

  25. smlsharp / smlsharp

    SML# compiler

    Standard ML • Built by @mzp @eldesh

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