( 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
781Haskell Research Compiler
760Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
518The Ur/Web programming language
417The MLton repository
393Globally orientated citizenship with private passport services using available cryptographic tools
372CakeML: A Verified Implementation of ML
230Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
215A public database for software and firmware hashes
205Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
163Low-level Lisp with compile-time memory management
160The People's Refinement Logic
156Project materials related to logic programming for interactive/reactive systems.
140Passive Real-time Asset Detection System
135MLWorks is a Standard ML compiler and development environment.
123The HOL Light theorem prover (moved from Google code)
116Standard ML Compiler and Toolkit
104Compute and compare MinHash signatures for DNA data sets.
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]
98Library and Toolkit for Standard ML
94MLton with Realtime GC and Threading features
92APL Compiler targeting a typed array intermediate language
81Smackage Package Manager for Standard ML
67A small implementation of type inference
66Public code developed during my MSc study at University of Bologna
63Quantomatic is a tool for doing automated graph rewriting.
523 Followers 100+
0 Repos per User
repos.Total / users.Total