Pinned Repositories
agda-categories
A new Categories library
agda-stdlib
The Agda standard library
CS474
Repository for Homework submissions for the course CS 474 - Logic in Computer Science (UIUC SP23)
Data-structure
General C++ data structures
gfs-maude
High level model checking of Google File System in Maude
Hekzagon
Interactive hexagonal tesselation
monoidal-nets
Formalisation of Monoidal Hypernets and Hypergraphs used to model lambda calculus
nominal-logic-mm0
Formalisation of Nominal Logic in Metamath Zero
questlang
stacklands-electric
A fun lil mod for the game Stacklands
MirceaS's Repositories
MirceaS/monoidal-nets
Formalisation of Monoidal Hypernets and Hypergraphs used to model lambda calculus
MirceaS/questlang
MirceaS/agda-categories
A new Categories library
MirceaS/agda-stdlib
The Agda standard library
MirceaS/CS474
Repository for Homework submissions for the course CS 474 - Logic in Computer Science (UIUC SP23)
MirceaS/Data-structure
General C++ data structures
MirceaS/gfs-maude
High level model checking of Google File System in Maude
MirceaS/Hekzagon
Interactive hexagonal tesselation
MirceaS/nominal-logic-mm0
Formalisation of Nominal Logic in Metamath Zero
MirceaS/stacklands-electric
A fun lil mod for the game Stacklands