( New / Total ) * 100
( Update / Total ) * 100
|Sum stars of Top 30 repos
sum ( repos.stars )
|Fork 1000+ Repos
|Sum forks of Top 30 repos
sum ( repos.forks )
Top Star Repos
783Haskell Research Compiler
752Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
491The Ur/Web programming language
395The MLton repository
387Globally orientated citizenship with private passport services using available cryptographic tools
355CakeML: A Verified Implementation of ML
215A public database for software and firmware hashes
211Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
198Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
151Project materials related to logic programming for interactive/reactive systems.
143The People's Refinement Logic
134MLWorks is a Standard ML compiler and development environment.
128Passive Real-time Asset Detection System
111Standard ML Compiler and Toolkit
110The HOL Light theorem prover (moved from Google code)
102An 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]
93MLton with Realtime GC and Threading features
93Compute and compare MinHash signatures for DNA data sets.
92APL Compiler targeting a typed array intermediate language
82Library and toolkit for Standard ML
78Smackage Package Manager for Standard ML
67A small implementation of type inference
64Informatica (public code during my MSc study)
55Quantomatic is a tool for doing automated graph rewriting.
52Library for automatic unit testing of Standard ML modules
496 Followers 100+
0 Repos per User
repos.Total / users.Total