( 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
759Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
540The Ur/Web programming language
424The MLton repository
393Globally orientated citizenship with private passport services using available cryptographic tools
380CakeML: A Verified Implementation of ML
243Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
214A public database for software and firmware hashes
210Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
164The People's Refinement Logic
159Project materials related to logic programming for interactive/reactive systems.
159Low-level Lisp with compile-time memory management
144Passive Real-time Asset Detection System
139The HOL Light theorem prover (moved from Google code)
136MLWorks is a Standard ML compiler and development environment.
119Standard ML Compiler and Toolkit
112Compute and compare MinHash signatures for DNA data sets.
102An proof refinement logic for computational type theory based on 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]
100Library and Toolkit for Standard ML
93MLton with Realtime GC and Threading features
93APL Compiler targeting a typed array intermediate language
82Smackage Package Manager for Standard ML
68A small implementation of type inference
66Quantomatic is a tool for doing automated graph rewriting.
551 Followers 100+
0 Repos per User
repos.Total / users.Total