Pinned Repositories
firrtl-spec
The specification for the FIRRTL language
GGJ_2017
Global Game Jam 2017 | Team 666
circt
Circuit IR Compilers and Tools
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-primitive
firrtl-spec
The specification for the FIRRTL language
koika
A core language for rule-based hardware design 🦑
LD50
ProjetIDK
Split-screen game for lonely people.
xborder
Active window border replacement for window managers.
mbty's Repositories
mbty/LD50
mbty/ProjetIDK
Split-screen game for lonely people.
mbty/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
mbty/coq-primitive
mbty/firrtl-spec
The specification for the FIRRTL language
mbty/koika
A core language for rule-based hardware design 🦑
mbty/xborder
Active window border replacement for window managers.