Starred repositories
30
stars
written in Standard ML
Clear filter
Canonical 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.
Globally orientated citizenship with private passport services using available cryptographic tools
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
Low-level Lisp with compile-time memory management
A public database for software and firmware hashes
MLWorks is a Standard ML compiler and development environment.
Quantomatic is a tool for doing automated graph rewriting.
New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau
An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
MLton with Realtime GC and Threading features
Library for automatic unit testing of Standard ML modules
Standard ML compiler based on typed intermediate languages.
A small implementation of a proof refinement logic.
Simple framework for testing Standard ML code.
Unit testing for Standard ML of New Jersey (SML/NJ) lol
Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought
Various games for Moscow ML + MosGame (SDL bindings)
Colored Petri net template for Analysis Model Generation