( 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
783Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
782Haskell Research Compiler
599The Ur/Web programming language
483The MLton repository
480CakeML: A Verified Implementation of ML
395Globally orientated citizenship with private passport services using available cryptographic tools
286Canonical 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.
225Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
217A public database for software and firmware hashes
190The People's Refinement Logic
176Low-level Lisp with compile-time memory management
167Project materials related to logic programming for interactive/reactive systems.
148Passive Real-time Asset Detection System
139MLWorks is a Standard ML compiler and development environment.
133Compute and compare MinHash signatures for DNA data sets.
126Standard ML Compiler and Toolkit
117Library and Toolkit for Standard ML
114Proof of concept: let's audit npm!
106Sail architecture definition language
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]
103APL Compiler targeting a typed array intermediate language
97MLton with Realtime GC and Threading features
84Smackage Package Manager for Standard ML
72Public code developed during my MSc study at University of Bologna
71Quantomatic is a tool for doing automated graph rewriting.
665 Followers 100+
0 Repos per User
repos.Total / users.Total