Trending in open source
See what the GitHub community is most excited about this week.
Sign up for free to get started
-
eatonphil / ponyo
Library and toolkit for Standard ML
Standard ML • 21 stars this week • Built by
-
HOL-Theorem-Prover / HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Standard ML • Built by
-
AuditProject / truecrypt-verified-mirror
Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
-
MrChrisJ / World-Citizenship
Globally orientated citizenship with private passport services using available cryptographic tools
Standard ML • Built by
-
GoldenCheetah / GoldenCheetah
Performance Software for Cyclists, Runners and Triathletes
Standard ML • Built by
-
MLton / mlton
The MLton repository
Standard ML • Built by
-
kfl / mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Standard ML • Built by
-
Ravenbrook / mlworks
MLWorks is a Standard ML compiler and development environment.
Standard ML • Built by
-
urweb / urweb
The Ur/Web programming language
Standard ML • Built by
-
chrisamaphone / interactive-lp
Project materials related to logic programming for interactive/reactive systems.
Standard ML • Built by
-
CakeML / cakeml
CakeML: A Verified Implementation of ML
Standard ML • Built by
-
jonsterling / JonPRL
An 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]
Standard ML • Built by
-
gamelinux / prads
Passive Real-time Asset Detection System
Standard ML • Built by
-
polyml / polyml
Poly/ML
Standard ML • Built by
-
surespot / web-server
surespot node.js web server
Standard ML • Built by
-
standardml / smackage
Smackage Package Manager for Standard ML
Standard ML • Built by
-
melsman / mlkit
Standard ML Compiler and Toolkit
Standard ML • Built by
-
jozefg / hm
A small implementation of type inference
Standard ML • Built by
-
league / qcheck
Library for automatic unit testing of Standard ML modules
Standard ML • Built by
-
kayceesrk / multiMLton
MLton for scalable multicore architectures
Standard ML • Built by
-
mempo / mempo-kernel
Deterministic kernel build scripts, for Linux, mainly for Debian
Standard ML • Built by
-
robsimmons / sml-lib
Library for Standard ML
Standard ML • Built by
-
j-baker / l1c
l1c is a simple formally verified compiler for a while language
Standard ML • Built by
-
wr / dogecoinpaperwallet
JavaScript Client-Side Dogecoin Wallet Generator
Standard ML • Built by
-
smlsharp / smlsharp
SML# compiler
Standard ML • Built by
