mpardalos
Imperial College student, functional programming enthusiast, interested in all areas of computer science, but (for now) primarily programming language theory
Imperial College LondonLondon, UK
Pinned Repositories
Advent-of-Code-2023
My solutions for advent of code 2023
Extended-Essay
My IB Extended Essay in Mathematics on the mathematics behind RSA
gc-geiger
Make a click sound when emacs does garbage collection
Heapsize
ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
Kima
A programming language with algebraic effects (WIP)
MIPS-Simulator
A software simulator for the MIPS-1 instruction set
Raza
A toy programming language used as a learning project. Implemented in Scala.
systemd-ntfy
Send ntfy notifications when systemd services change state
Vericert-Fun
A formally verified high-level synthesis tool based on CompCert and written in Coq.
mpardalos's Repositories
mpardalos/Extended-Essay
My IB Extended Essay in Mathematics on the mathematics behind RSA
mpardalos/Raza
A toy programming language used as a learning project. Implemented in Scala.
mpardalos/CS-Internal
My IB Computer Science Internal Assessment project
mpardalos/CS-Internal-Docs
Documentation (assessment criteria) for my IB CS internal assessment project
mpardalos/Dont-Stop
A top-down fighter where your health constantly ticks down
mpardalos/flask-api
Browsable web APIs for Flask
mpardalos/Gitful
A web client and REST api for git
mpardalos/Homework-plus
An android app for students to manage homework assignments
mpardalos/ichack18
mpardalos/math-internal
My IB math internal assessment on the Fourier transform
mpardalos/memalloy
Memory consistency modelling using Alloy
mpardalos/Physics-Investigation
My IB physics internal assessment on the motion of a gravity-powered car
mpardalos/pymotd
A python Message of the Day script
mpardalos/python-rofi
A Python module to make simple GUIs with Rofi
mpardalos/rtv
Browse Reddit from your terminal
mpardalos/Startpage
A custom web browser startpage
mpardalos/Verilog-Lab