Beast code in Giters

Michael Norrish's repositories

CFL-HOL

Theory of Context-Free Languages in HOL

Language:Standard ML700

JSON-SML

JSON parsing in SML (from SML/NJ's svn repo)

6 20

inspector-strategies

Verification of Inspector-style Compilations

Language:Perl2 5 3

ace-jump-mode

a quick cursor jump mode for emacs

Language:Emacs Lisp1 20

Cplusplus

My C++ in HOL semantics

Language:C++100

gorilla

Password Gorilla manages passwords

Language:Tcl100

Tasks

100

bib2sx

A tool for manipulating bibtex files as s-expressions

Language:Racket000

concurrent-gc-verification

Language:Standard ML000

fxp

Validating XML parser library in Standard ML by Andreas Neumann and Alexandru Berlea

Language:Standard MLNOASSERTION020

fxp145

Port of fxp1.4.5

Language:Standard MLNOASSERTION000

itp_paper_07

Material to accompany submitted paper 7 to ITP2022

Language:Standard ML000

l4v

seL4 specification and proofs

NOASSERTION000

mosml

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Language:Standard ML000

netsem

Network Semantics

Language:Standard MLNOASSERTION000

ordinals-paper

About mechanisations of the ordinals in higher order logic

Language:Standard ML020

planning

PhD_project_1

Language:Standard ML000

polyml

Poly/ML

Language:Standard MLLGPL-2.1000