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