4
Repos
24
Stars
9
Forks
24
Watchers
Repositories (4)
dblib-linear
michaelsproul/dblib-linear
Coq
Formalisation of the linear lambda calculus in Coq
10
0
gossip
michaelsproul/gossip
Rust
Simulation of gossip with consensus
7
3
colourcat
michaelsproul/colourcat
Rust
Tool for distinctly colouring numbers, hashes and identifiers in log files
6
0
ewok
michaelsproul/ewok
Rust
Simulator for a distributed fuzzy ordering algorithm
1
6