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
mpardalos's Stars
nvbn/thefuck
Magnificent app which corrects your previous console command.
bigskysoftware/htmx
</> htmx - high power tools for HTML
doomemacs/doomemacs
An Emacs framework for the stubborn martian hacker
httpie/http-prompt
An interactive command-line HTTP and API testing client built on top of HTTPie featuring autocomplete, syntax highlighting, and more. https://twitter.com/httpie
open-source-flash/open-source-flash
Petition to open source Flash and Shockwave spec
end-4/dots-hyprland
i hate minimalism so...
yshui/picom
A lightweight compositor for X11 with animation support
cortesi/devd
A local webserver for developers
ch11ng/exwm
Emacs X Window Manager
haskell/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
jtdaugherty/brick
A declarative Unix terminal UI library written in Haskell
ionide/ionide-vscode-fsharp
VS Code plugin for F# development
magit/transient
Transient commands
haskell/ghcide
A library for building Haskell IDE tooling
edwinb/Blodwen
A prototype successor to Idris
dawsonjon/fpu
synthesiseable ieee 754 floating point library in verilog
LaTeX-Box-Team/LaTeX-Box
Lightweight Toolbox for LaTeX - New Official repository
epilys/bb
simple toy process viewer in rust https://crates.io/crates/bb
nCompass-tech/nCompass
An API built to enable one-line-of-code access to accelerated open-source and custom AI models.
ethercrow/opentelemetry-haskell
The OpenTelemetry Haskell Client https://opentelemetry.io
talal/bonclay
Fast and minimal backup tool
MartaAndronic/PolyLUT
PolyLUT is the first quantized neural network training methodology that maps a neuron to a LUT while using multivariate polynomial function learning to exploit the flexibility of the FPGA soft logic.
ccxtechnologies/adbus
D-Bus Binding​ for Python that supports coroutines (asyncio)
shahsaumya00/Floating-Point-Adder
32 bit pipelined binary floating point adder using IEEE-754 Single Precision Format in Verilog
LangProc/langproc-2018-lab
mpardalos/Kima
A programming language with algebraic effects (WIP)
mpickering/ghcide
A library for building Haskell IDE tooling
ebby-s/RedHDL
Convert Redstone from Minecraft into synthesizable System Verilog.
LangProc/langproc-2023-lab
Compiler laboratory repository for Instruction Architectures and Compilers module at Imperial College London
soule/OCPrayerTimes
Objective-C library for Muslim Prayer Times