SOwens

University of KentCanterbury

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML925 46 45981
documentation
Documentation for CakeML
Language:TeX1 6 00
HOL
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.
Language:Standard ML607 49 635131
ppx_deriving
Type-driven code generation for OCaml
Language:OCaml450 19 14084
example-compiler
A simple compiler for a simple imperative language, written in OCaml
Language:OCaml19 4 09
jvm-benchmark-spark
Java Benchmark Based on Apache Spark MapReduce Engine
Language:Shell00
olta
Online Litmus Test Assembler
Language:C00

SOwens's Repositories

SOwens/example-compiler
A simple compiler for a simple imperative language, written in OCaml
Language:OCaml19 4 09
SOwens/jvm-benchmark-spark
Java Benchmark Based on Apache Spark MapReduce Engine
Language:Shell00
SOwens/olta
Online Litmus Test Assembler
Language:C00