Pinned Repositories
bedrock2
Towards a low-level systems programming language with a verified compiler
caros
A very simple operating system
carotti.github.io
dummy-compiler
Simple coq dummy compiler for playing with proofs about logging
emplanted
Just a bunch of kids trying to grow plants
hardmark
Just a bunch of kids trying to recognize markers
hardmark_gfx
Just a bunch of kids trying to design a hardware graphics pipeline
huffman-encoder
Implementation of huffman encoding in C++
LeapPythonMac
Just a bunch of kids trying to get LeapMotion SDK working with python3+ on Mac
tagged-union
Python tagged unions (aka sum types, algebraic data types, etc.) with match capabilities
Carotti's Repositories
Carotti/tagged-union
Python tagged unions (aka sum types, algebraic data types, etc.) with match capabilities
Carotti/dummy-compiler
Simple coq dummy compiler for playing with proofs about logging
Carotti/LeapPythonMac
Just a bunch of kids trying to get LeapMotion SDK working with python3+ on Mac
Carotti/bedrock2
Towards a low-level systems programming language with a verified compiler
Carotti/caros
A very simple operating system
Carotti/carotti.github.io
Carotti/emplanted
Just a bunch of kids trying to grow plants
Carotti/hardmark
Just a bunch of kids trying to recognize markers
Carotti/hardmark_gfx
Just a bunch of kids trying to design a hardware graphics pipeline
Carotti/huffman-encoder
Implementation of huffman encoding in C++
Carotti/langproc-2016-cw
Carotti/motor-controller
Just a bunch of kids trying to make a motor spin whilst mining bitcoin
Carotti/vis-tally
Just a bunch of kids trying to visualize
Carotti/langproc-2016-lab
Carotti/lp-parallel
Simulate parallel LPs using Chandy-Misra-Bryant algorithm
Carotti/pylint
It's not just a linter that annoys you!
Carotti/riscv-coq
RISC-V Specification in Coq
Carotti/tableau-printer
Simplex solver and tableau printer in C++