( 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
784Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
782Haskell Research Compiler
611The Ur/Web programming language
505CakeML: A Verified Implementation of ML
496The MLton repository
395Globally orientated citizenship with private passport services using available cryptographic tools
301Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
229Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
220A public database for software and firmware hashes
196The People's Refinement Logic
179Low-level Lisp with compile-time memory management
168Project materials related to logic programming for interactive/reactive systems.
152Passive Real-time Asset Detection System
139MLWorks is a Standard ML compiler and development environment.
138Compute and compare MinHash signatures for DNA data sets.
127Standard ML Compiler and Toolkit
122Sail architecture definition language
118Library and Toolkit for Standard ML
115Proof of concept: let's audit npm!
106An 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, RedPRL: https://github.com/redprl/sml-redprl]
104APL Compiler targeting a typed array intermediate language
96MLton with Realtime GC and Threading features
85Smackage Package Manager for Standard ML
76Public code developed during my MSc study at University of Bologna
700 Followers 100+
1 Repos per User
repos.Total / users.Total