cmcl

frankjnr

Another implementation of Frank.

tiger

a compiler implementation

franklyfrank

A prototype implementation of the Frank programming language

triangulating-context-lemmas

Formalisation accompanying paper submission

msci

MSci project: Development of a formalisation of "Propositions as Sessions"

sudoku-solver

Sudoku solver using graph colouring algorithm.

AOS-PROJ

Advanced Operating Systems project

cmcl.github.io

Craig McLaughlin's internet presence.

coop

A prototype programming language for programming with runners

coq-skeleton

A simple skeleton for Coq projects

docs

This is the source of the seL4 docs.

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

frankly

geany

A fast and lightweight IDE

gencot

Tool for partial translation from C to Cogent (https://github.com/NICTA/cogent)

Idris-dev

A Dependently Typed Functional Programming Language

indentation

l4v

seL4 specification and proofs

seL4

The seL4 microkernel

sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

too-many-lists

Learn Rust by writing Entirely Too Many linked lists

xreader

A generic Document Reader