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/gc-geiger
Make a click sound when emacs does garbage collection
mpardalos/Kima
A programming language with algebraic effects (WIP)
mpardalos/Heapsize
ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
mpardalos/systemd-ntfy
Send ntfy notifications when systemd services change state
mpardalos/Advent-of-Code
Solutions to advent of code 2020, with verification for some of them!
mpardalos/Advent-of-Code-2022
mpardalos/Advent-of-Code-2023
My solutions for advent of code 2023
mpardalos/Advent2021
mpardalos/Vericert-Fun
A formally verified high-level synthesis tool based on CompCert and written in Coq.
mpardalos/aquacomputer-quadro-control
Attempt to control Aquacomputer Quadro in python.
mpardalos/chip8
Emulator for CHIP8
mpardalos/d-bus
strongly typed dbus client library
mpardalos/doom-emacs
An Emacs configuration for the stubborn martian vimmer
mpardalos/dotfiles
My config files for emacs, fish and whatever else I may be using
mpardalos/emacs-conflict
Resolve conflicts happening when using file synchronization tools
mpardalos/FuzzerExampleHs
Example for CW1 of Software Reliability in Haskell
mpardalos/ghcide
A library for building Haskell IDE tooling
mpardalos/grat
nix flake for GRAT - A verified SAT solver
mpardalos/gscholar-bibtex
Retrieve BibTeX entries from Google Scholar, ACM Digital Library, IEEE Xplore and DBLP
mpardalos/isabelle.nix
Defines a Nix flake for Isabelle 2022
mpardalos/langproc-2023-lab
mpardalos/libverismith
Enable fuzzing Verilog-consuming tools
mpardalos/llhd
Low Level Hardware Description — A foundation for building hardware design tools.
mpardalos/mpardalos.com
My personal website
mpardalos/mpardalos.xyz-micropub
mpardalos/opentelemetry-haskell
The OpenTelemetry Haskell Client https://opentelemetry.io
mpardalos/SOMAS2020
Main repository for SOMAS2020 Coursework
mpardalos/verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
mpardalos/yarpgen-nix
Nix build of Yarpgen
mpardalos/zmk-config