mdesharnais

mini-ml

A compiler for a subset of ML

log660-webflix

SoSe17-FFP-haskell-http2-server

book

The Rust Programming Language

Coq

Coq codes

coq-full-abstraction-parallel-language

Coq formalization of the article "Full Abstraction for a Shared-Variable Parallel Language"

coq-practical-ss17-amortised-ressource-bounds

Formalisation of Dr. Jost’s PhD thesis about an Automated Amortised Analysis

coq-practical-ss17-stlc

A formalisation and implementation of the simply typed lambda calculus

framework-VeriComp

Isabelle/HOL Framework for Verified Compilers

handlebars.java

Logic-less and semantic Mustache templates with Java

haskell-wc

Haskell implementation of UNIX wc command.

jooby

Scalable, fast and modular micro web framework for Java

jooby-gradle-demo

lmu-WiSe2017-18-prolog-type-system

Implementation of a small type system for the Prolog programming language

log320-lab3-line-of-action

Line of action

log330-washing-machine-system

log430-lab2-layers

log635-lab3-bikexi

log710-lab1-bash

log710-lab2-scheduler

log710-lab3-memory

log735-lab1

log792-type-systems-formalization

Formalization of types systems with Isabelle/HOL

mysql-connector-j

MySQL Connector/J

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-lambda-calculus

spec

WebAssembly specification, reference interpreter, and test suite.

vimrc

wasm-pl-isabelle

WasmCert-Isabelle

A mechanisation of Wasm in Isabelle.