See what the GitHub community is most excited about today.
Haskell Research Compiler
Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
The Ur/Web programming language
The MLton repository
CakeML: A Verified Implementation of ML
Globally orientated citizenship with private passport services using available cryptographic tools
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
A public database for software and firmware hashes
The People's Refinement Logic
Project materials related to logic programming for interactive/reactive systems.
Low-level Lisp with compile-time memory management
The HOL Light theorem prover (moved from Google code)
Passive Real-time Asset Detection System
MLWorks is a Standard ML compiler and development environment.
Standard ML Compiler and Toolkit
Compute and compare MinHash signatures for DNA data sets.
Proof of concept: let's audit npm!
Library and Toolkit for Standard ML
An proof refinement logic for computational type theory based on 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]
APL Compiler targeting a typed array intermediate language
MLton with Realtime GC and Threading features