Pinned Repositories
Maze-Game
The second JavaScript game I made
assembler-simulator
Simple 8-bit Assembler Simulator with Angular.js
atom-language-coq
Coq language support for the Atom editor
broad-coq-tutorial
Some unstructured notes concerning the Broad tutorial to take place in March 2020
Disable_Dm-Verity_ForceEncrypt
Disables dm-verity and forceencrypt
Game
Maze-Game
NN-SVG
Publication-ready NN-architecture schematics.
omnetpy
Using OMNeT++ from python
Planetary-Plunder
OldAI's Repositories
OldAI/assembler-simulator
Simple 8-bit Assembler Simulator with Angular.js
OldAI/atom-language-coq
Coq language support for the Atom editor
OldAI/broad-coq-tutorial
Some unstructured notes concerning the Broad tutorial to take place in March 2020
OldAI/Disable_Dm-Verity_ForceEncrypt
Disables dm-verity and forceencrypt
OldAI/Game
OldAI/Maze-Game
OldAI/NN-SVG
Publication-ready NN-architecture schematics.
OldAI/omnetpy
Using OMNeT++ from python
OldAI/Planetary-Plunder