Pinned Repositories
lean-premise-selection
ChaosFractals
Website and research on chaos theory and fractlas, for first year JMC. Group Project with Ramon Fernandez, Robbie Holland, Nickolay Daminov and Rafael Ballestiero.
language-wacc
Atom package for the WACC language.
lcti
Lambda Calculus Type Inferrer
lean-scheme
Schemes in Lean (v2)
leanSOS
Sum-of-squares programming in Lean.
pagerank-challenge
Advanced Computer Architecture Coursework.
peyes
Experiment using two Raspberry Pis, each with a camera module.
verified_transfo
Verification of Data Layout Transformations in Coq
CvxLean
Convex optimization modeling in Lean 4
ramonfmir's Repositories
ramonfmir/PiCasso
RaspberryPi C Project. ARM11 emulator and assembler. Also a bare-metal LED art platform. Imperial College First Year, summer term. Group Project with Ramon Fernandez, Robbie Holland and Jenny Lea.
ramonfmir/slackSummary
ramonfmir/language-wacc
Atom package for the WACC language.