( 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
778Haskell Research Compiler
755Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
505The Ur/Web programming language
409The MLton repository
392Globally orientated citizenship with private passport services using available cryptographic tools
367CakeML: A Verified Implementation of ML
218Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
214A public database for software and firmware hashes
201Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
160Low-level Lisp with compile-time memory management
154Project materials related to logic programming for interactive/reactive systems.
153The People's Refinement Logic
135MLWorks is a Standard ML compiler and development environment.
134Passive Real-time Asset Detection System
117The HOL Light theorem prover (moved from Google code)
114Standard ML Compiler and Toolkit
101An 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]
96Library and Toolkit for Standard ML
95Compute and compare MinHash signatures for DNA data sets.
94MLton with Realtime GC and Threading features
92APL Compiler targeting a typed array intermediate language
79Smackage Package Manager for Standard ML
67A small implementation of type inference
67Informatica (public code during my MSc study)
59Quantomatic is a tool for doing automated graph rewriting.
506 Followers 100+
0 Repos per User
repos.Total / users.Total