cakeml : CakeML: A Verified Implementation of ML
author: CakeML
created: 2012-10-09 10:13:51
compiler formal-semantics formal-verification hol programming-language sml theorem-proving standard ml


tiger : Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
author: sunchao
created: 2013-01-16 22:54:11
compiler sml standard ml


mlkit : Standard ML Compiler and Toolkit
author: melsman
created: 2014-05-21 10:22:11
compiler functional-programming regions standard-ml standard ml


sml : Exercism exercises in Standard ML.
author: exercism
created: 2014-09-27 15:15:18
exercism-exercises exercism-track standard ml


PolyAML : Language interpreter for "PolyAML: A Polymorphic Aspect-oriented Functional Programming Language" at ACM International Conference on Functional Programming
author: dantasfiles
created: 2015-05-19 21:31:19
aspect-oriented aspect-oriented-programming functional functional-language functional-languages functional-programming language-interpreter standard-ml standard ml


Harmless-Advice : Language interpreter and security case study for "Harmless Advice" at ACM Principles of Programming Languages
author: dantasfiles
created: 2015-05-20 03:27:28
aspect-oriented aspect-oriented-programming language-interpreter security standard-ml standard ml


initool : Manipulate INI files from the command line
author: dbohdan
created: 2015-06-08 18:22:06
cli configuration-file ini standard-ml standard ml


sml-typed-abts : second-order abstract syntax
author: RedPRL
created: 2015-09-25 04:42:41
abstract-syntax binding syntax standard ml


truecrypt-archive-lfs : Testing lfs for truecrypt-archive.
author: stefansundin
created: 2015-10-04 03:45:10
lfs truecrypt standard ml


sml-dependent-lcf : A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
author: RedPRL
created: 2015-10-16 05:11:46
lcf proof-refinement refiner tactics standard ml


informatica-public : Public code developed during my MSc study at University of Bologna
author: binghe
created: 2015-10-28 21:42:45
java lisp ml theorem-proving xml standard ml


sml-redprl : The People's Refinement Logic
author: RedPRL
created: 2016-01-05 05:08:26
cubical-type-theory nuprl proof-assistant type-theory standard ml


opentheory : The opentheory tool processes higher order logic theory packages
author: gilith
created: 2016-04-28 05:12:16
higher-order-logic hol opentheory sml standard ml


tsim : A Turing machine simulator in SML
author: jez
created: 2016-05-05 21:53:22
plt sml standard ml


SML_BigInteger : Biginteger library for SML (Standard ML) for doing integer operations on arbitrarily large integers
author: ankitshubham97
created: 2016-05-10 09:14:31
bigint biginteger library sml smlnj standard ml


metis : Metis is an automatic theorem prover for first order logic with equality
author: gilith
created: 2016-07-13 22:00:06
first-order-logic sml theorem-prover standard ml


su4sml : su4sml - a SML repository for managing (Secure)UML/OCL models
author: adbrucker
created: 2016-07-25 19:13:30
mda mde ocl secureuml sml uml standard ml


isabelle-ofmc : Isabelle/OFMC - Linking OFMC and Isabelle/HOL
author: logicalhacking
created: 2016-07-28 23:33:18
isabelle-hol ofmc protocol-security standard ml


sml-compiler-utils : A collection of SML utility modules that are useful for compiler writing.
author: JohnReppy
created: 2016-10-04 13:50:10
compiler compiler-construction standard-ml standard ml


heron : 🏺 Simulation Solver for Timed Causality Models in TESL
author: heron-solver
created: 2017-01-12 13:14:29
event-driven logical-time real-time simulation solver synchronization standard ml


tiger-compiler : A Tiger ⟶ MIPS compiler written in SML/NJ. 🐅
author: adisrini
created: 2017-01-24 02:28:16
compiler mips-assembly tiger-language standard ml


michaelson-polyml : Solutions to exercises in the book "Elementary Standard ML" written in Poly/ML.
author: didriklundberg
created: 2017-01-25 13:49:28
exercise learning sml standard ml


Coursera-PL : programming tasks in SML/Racket/Ruby for Programming Language course on Coursera
author: poolmaster
created: 2017-01-26 09:27:40
coursera programming-language racket ruby sml standard ml


sml-stream : Lazy list (aka Infinite list or Stream) implementation for SML/NJ (http://www.smlnj.org/).
author: 0x414c
created: 2017-02-15 12:41:29
lazy-evaluation sml standard-ml stream standard ml


3D_BinarySearchTree_SML : 3 dimensional k-d tree in SML
author: AliShaikh94
created: 2017-02-22 15:52:08
sml standard-ml standard ml


openwrt-repo : OpenWrt/LEDE Project Packages Repository
author: stangri
created: 2017-03-12 22:39:26
adblock fakeinternet lede openvpn openvpn-policy-routing openwrt packages simpleadblock vpnbypass standard ml


simple-ad : SML Implementation of Automatic Differentiation
author: kfl
created: 2017-03-23 15:30:36
automatic-differentiation sml symbolic-differentiation symbolic-manipulation standard ml


docker-drone-builder : Experimenting with Drone, using `.drone.yml` to build assets.
author: hbokh
created: 2017-04-02 09:42:37
drone-ci standard ml


mi : An experimental compiler for the sml language
author: mi-lang
created: 2017-05-19 12:12:53
compiler experimental functional-languages language ml sml standard ml


fortran : Exercism exercises in Fortran.
author: exercism
created: 2017-05-29 21:20:00
exercism-exercises exercism-track standard ml


sequents : Proof search for intuitionistic propositional logic using Dyckhoff's LJT
author: ayberkt
created: 2017-06-25 02:08:47
intuitionistic-logic ljt proof-search sequent-calculus standard ml


course2017 : Genomics lessons for week 4 of the Microbial Diversity course at the Marine Biological Lab in Woods Hole, MA.
author: mblmicdiv
created: 2017-07-31 14:21:42
bioinformatics diversity metagenomics microbial standard ml


timl : TiML: A Functional Programming Language with Time Complexity
author: wangpengmit
created: 2017-08-23 19:18:02
functional-programming mlton sml standard-ml time-complexity standard ml


blackMAMBO : A Tiger compiler for a x64 target-machine, in ML
author: perezzini
created: 2017-08-27 15:06:49
compilers ml tiger tiger-compiler standard ml


timl : TiML: A Functional Programming Language with Time Complexity
author: mit-plv
created: 2017-08-28 14:44:45
functional-programming mlton sml standard-ml time-complexity standard ml


Troll : Modified implementation of the Troll Programming Language (Statistical Sampling)
author: lewisc
created: 2017-10-07 04:46:20
programming-language statistics standard ml


dq-aws-transition-show-and-tells :
author: UKHomeOffice
created: 2017-10-18 11:19:54
hodq standard ml


independent-artwork : This is my personal repo on wallpapers made by me, free to be downloaded by anyone according to the licence file.
author: OccultusCaudex
created: 2017-10-26 21:31:49
copyleft free-software fsf hurd opensourcedesign parabola replicant trisquel wallpapers standard ml


dq-connectivity-tester : Simple connectivity testing tool for mocking an application to put in infrastructure tests
author: UKHomeOffice
created: 2017-11-08 12:14:19
ami docker hodq infrastructure linux mocking standard ml


smallpox-attack-sim : Simple disease outbreak simulator writtend using SMLNJ. Academic project created for CS355 at Old Dominion University.
author: paddy74
created: 2018-01-09 23:52:36
academic-project simulator smlnj standard ml


mwlwifi_repo : Newest working kmod-mwlwifi for LEDE 17.01.4 for WRT1200, WRT1900, WRT3200
author: stangri
created: 2018-01-18 11:19:15
kmod-mwlwifi lede mwlwifi openwrt wifi wrt1200 wrt1900 wrt3200 standard ml


Functional-Programming-Notebook : My notebook for Principles of Functional Programming (course).🌴🎓📘
author: SAMFYB
created: 2018-01-24 15:34:45
functional-programming lecture-notes notebook sml standard-ml standard ml


Coursera-ProgrammingLanguagesUW : Coursera: Programming Languages, Univ. of Washington
author: JonnyKong
created: 2018-01-25 12:00:55
functional-programming programming-language-theory racket ruby sml standard ml


BigInt-SML : Big Natural numbers and Big Integers as string
author: vikasgola
created: 2018-03-05 17:10:28
big-data bigint biginteger integer smlnj standard ml


TheReturnOfTheSonOfSML : Did I forget SML? Sure, I prefer SML to Java.
author: BernardTatin
created: 2018-03-31 22:48:36
functional-programming polyml sml smlnj standard ml


privacy-hacks : :squirrel: Privacy for Mac users at work or on shared computers.
author: reelsense
created: 2018-04-11 20:01:15
automator automator-action bash-script macos standard ml


freesans-swl : A font for Swedish sign language transcription.
author: zrajm
created: 2018-05-02 02:31:30
font fontforge sign-language sign-language-transcription swedish-sign-language transcription typeface standard ml


SML-lessons : 関数型プログラミング言語「SML ( Standard ML )」を学習するためのサンプル集
author: RitsCompilerConstruction
created: 2018-05-03 10:12:30
functional-programming lessons sml standard ml


interim : Low-level Lisp with compile-time memory management
author: eudoxia0
created: 2018-05-20 21:18:21
compiler lisp sml standard ml


Programming-Languages : CSE341: Homework and Study Note for Programming Languages on Coursera
author: Weiting-Zhang
created: 2018-05-29 01:42:42
coursera functional-programming object-oriented-programming programming-language university-of-washington standard ml


SML-with-Assertions : sml-nj with a Functional Assertion Engine
author: Julian-Sam
created: 2018-06-03 08:01:24
sml smlnj standard ml


papal-repo : OpenWRT/LEDE Project Packages Repository
author: guidosarducci
created: 2018-07-22 07:04:52
bufferbloat lede luci-app-sqm openwrt qos sqm sqm-scripts standard ml


pl1-ntua : Programming Languages I
author: danchris
created: 2018-09-10 09:09:59
c java python3 smlnj swi-prolog standard ml


cakeml-component : Isabelle component for CakeML
author: isabelle-prover
created: 2018-09-20 09:12:54
cakeml isabelle standard ml


csc330 : CSC 330 Programming Languages
author: tyrelh
created: 2018-09-26 04:45:06
functional-programming object-oriented-programming racket ruby smlnj standard-ml standard ml


Lab1-HUST-ACM1701-CMU15210 : CMU15210 Lab1 - ParenLab for HUST ACM Class
author: why2000
created: 2018-11-17 03:46:58
15210 cmu-15210 hust-acm standard ml


Lab3-HUST-ACM1701-CMU15210 : CMU15210 Lab3 - BigNumLab for HUST ACM Class
author: why2000
created: 2018-11-19 12:01:34
15210 cmu-15210 hust-acm standard ml


ocaml-random-text-generation : markov chain text generator written in ocaml
author: joakin
created: 2018-11-20 16:33:09
markov-chain ocaml standard ml


kth-hol4-exercises : My solutions for the KTH HOL4 course - Interactive Theorem Proving
author: totorigolo
created: 2018-11-21 12:49:18
hol4 kth latex-document sml standard ml


multi-grep : Search for a pattern on specific lines
author: jez
created: 2018-12-01 22:39:08
cli standard ml


eopl : Implementation of the languages from the EOPL textbook in Standard ML.
author: siraben
created: 2019-02-24 12:57:20
standard-ml standard ml


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more