ptia

Joint Mathematics and Computer Science student @ Imperial College London

London

Pinned Repositories

ADTs
Language:Java0 2 00
AppManager
AppManager: Take control over your apps
Language:Java2 2 11
BrainHack
Brainfuck CPU for ICHack19
Language:Verilog0 2 00
e800
My first CPU: 8-bit, 64k of RAM.
Language:Verilog0 2 00
LogiC
First order logic parser and model evaluator in C
Language:C0 2 00
LogicMachine
First order logic parser and model evaluator in Haskell
Language:Haskell1 2 00
Quadricottero
A RC quadcopter flight controller for Arduino with an Android client
Language:C++2 2 00
StackVM
Stack-based interpreted programming language written in C
Language:C0 2 00

ptia's Repositories

ptia/AppManager
AppManager: Take control over your apps
Language:Java2 2 11
ptia/Quadricottero
A RC quadcopter flight controller for Arduino with an Android client
Language:C++2 2 00
ptia/LogicMachine
First order logic parser and model evaluator in Haskell
Language:Haskell1 2 00
ptia/ADTs
Language:Java0 2 00
ptia/BrainHack
Brainfuck CPU for ICHack19
Language:Verilog0 2 00
ptia/e800
My first CPU: 8-bit, 64k of RAM.
Language:Verilog0 2 00
ptia/LogiC
First order logic parser and model evaluator in C
Language:C0 2 00
ptia/StackVM
Stack-based interpreted programming language written in C
Language:C0 2 00
ptia/cnet
A (future) neural network framework written from scratch in C
Language:C2 0
ptia/CRawl
C intepreter for a Python-like language
Language:C3 0
ptia/dbt-cmake-test
A sample project on how to make cmake understand dbt projects
Language:CMake
ptia/ethereum-string-utils
String utility functions for ethereum contracts
Language:Python1 0
ptia/libsupcxx
A bare metal port of the GNU ISO C++ library
Language:C++0 0
ptia/NLPLabs-2022
Lab sessions for NLP course