( 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
766Haskell Research Compiler
741Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
470The Ur/Web programming language
383Globally orientated citizenship with private passport services using available cryptographic tools
374The MLton repository
331CakeML: A Verified Implementation of ML
213A public database for software and firmware hashes
192Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
186Moscow 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.
137The People's Refinement Logic
135MLWorks is a Standard ML compiler and development environment.
127Passive Real-time Asset Detection System
105The HOL Light theorem prover (moved from Google code)
104Standard ML Compiler and Toolkit
100An 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]
91MLton with Realtime GC and Threading features
91APL Compiler targeting a typed array intermediate language
80Compute and compare MinHash signatures for DNA data sets.
79Library and toolkit for Standard ML
78Smackage Package Manager for Standard ML
65A small implementation of type inference
64Informatica (public code during my MSc study)
51Library for automatic unit testing of Standard ML modules
49l1c is a simple formally verified compiler for a while language
498 Followers 100+
0 Repos per User
repos.Total / users.Total