Pinned Repositories
armcoq
book
pest book
coq
Coq is a formal proof management system.
customdwm
Fork of the DWM window manager.
distsyscoq
low-level distributed systems with Coq
jcompiler
a compiler for the J programming language
sqlcoq
modelling SQL relations in Coq
stm32
programs for the STM32 microcontroller
teradata-overlaps-proof
Emulatibility Proof for Teradata's OVERLAPS on Google BigQuery
topology
mattjquinn's Repositories
mattjquinn/jcompiler
a compiler for the J programming language
mattjquinn/armcoq
mattjquinn/book
pest book
mattjquinn/coq
Coq is a formal proof management system.
mattjquinn/customdwm
Fork of the DWM window manager.
mattjquinn/distsyscoq
low-level distributed systems with Coq
mattjquinn/sqlcoq
modelling SQL relations in Coq
mattjquinn/stm32
programs for the STM32 microcontroller
mattjquinn/teradata-overlaps-proof
Emulatibility Proof for Teradata's OVERLAPS on Google BigQuery
mattjquinn/topology
mattjquinn/EducationalSoftwareLabApplications
mattjquinn/FastAPI
mattjquinn/fidelis-django
mattjquinn/graphql-java-annotations
GraphQL Annotations for Java
mattjquinn/learning-parser-combinators
From https://bodil.lol/parser-combinators/
mattjquinn/LineStorm
The Greatest String in the World
mattjquinn/Mimsy
Control Software for Mimsy - Based on LX and DBLX
mattjquinn/mlang
Compiler for the M language, used to compute the income tax of French taxpayers
mattjquinn/polyglot
The Polyglot LR parser generator
mattjquinn/ray-tracer-shirley
A Rust translation of Peter Shirley's ray tracer
mattjquinn/rustedjvm
the beginnings of a JVM in Rust
mattjquinn/Spring-Boot
mattjquinn/StudentsManagment-JAVA-
mattjquinn/SwahiliMazoezi