mpardalos Goto Github PK
Name: Michalis Pardalos
Type: User
Company: Imperial College London
Location: London, UK
Blog: https://mpardalos.com
Name: Michalis Pardalos
Type: User
Company: Imperial College London
Location: London, UK
Blog: https://mpardalos.com
Solutions to advent of code 2020, with verification for some of them!
My solutions for advent of code 2023
Attempt to control Aquacomputer Quadro in python.
Emulator for CHIP8
My IB Computer Science Internal Assessment project
Documentation (assessment criteria) for my IB CS internal assessment project
strongly typed dbus client library
A top-down fighter where your health constantly ticks down
An Emacs configuration for the stubborn martian vimmer
My config files for emacs, fish and whatever else I may be using
Resolve conflicts happening when using file synchronization tools
My IB Extended Essay in Mathematics on the mathematics behind RSA
Browsable web APIs for Flask
Example for CW1 of Software Reliability in Haskell
Make a click sound when emacs does garbage collection
A library for building Haskell IDE tooling
A web client and REST api for git
nix flake for GRAT - A verified SAT solver
Retrieve BibTeX entries from Google Scholar, ACM Digital Library, IEEE Xplore and DBLP
Haskell library for the Microsoft Language Server Protocol
ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
An android app for students to manage homework assignments
Defines a Nix flake for Isabelle 2022
A programming language with algebraic effects (WIP)
Enable fuzzing Verilog-consuming tools
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.