Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by mpardalos
A curated list of projects in awesome lists by mpardalos .
https://github.com/mpardalos/gc-geiger
Make a click sound when emacs does garbage collection
Last synced: 03 Dec 2024
https://github.com/mpardalos/kima
A programming language with algebraic effects (WIP)
Last synced: 10 Oct 2024
https://github.com/mpardalos/vera
Verified Verilog Equivalence checker, written and verified in Coq.
Last synced: 22 Nov 2024
https://github.com/mpardalos/mips-simulator
A software simulator for the MIPS-1 instruction set
Last synced: 25 Dec 2024
https://github.com/mpardalos/systemd-ntfy
Send ntfy notifications when systemd services change state
Last synced: 25 Dec 2024
https://github.com/mpardalos/raza
A toy programming language used as a learning project. Implemented in Scala.
lexer parser programming-language scala
Last synced: 25 Dec 2024
https://github.com/mpardalos/equifuzz-bugs
Bugs found in hardware equivalence checkers using equifuzz
Last synced: 25 Dec 2024
https://github.com/mpardalos/dotfiles
My config files for emacs, fish and whatever else I may be using
Last synced: 25 Dec 2024
https://github.com/mpardalos/cs-internal
My IB Computer Science Internal Assessment project
Last synced: 25 Dec 2024
https://github.com/mpardalos/homework-plus
An android app for students to manage homework assignments
Last synced: 25 Dec 2024
https://github.com/mpardalos/fuzzerexamplehs
Example for CW1 of Software Reliability in Haskell
Last synced: 25 Dec 2024
https://github.com/mpardalos/advent-of-code
Solutions to advent of code 2020, with verification for some of them!
Last synced: 25 Dec 2024
https://github.com/mpardalos/math-internal
My IB math internal assessment on the Fourier transform
Last synced: 25 Dec 2024
https://github.com/mpardalos/physics-investigation
My IB physics internal assessment on the motion of a gravity-powered car
Last synced: 25 Dec 2024
https://github.com/mpardalos/grat
nix flake for GRAT - A verified SAT solver
Last synced: 25 Dec 2024
https://github.com/mpardalos/libverismith
Enable fuzzing Verilog-consuming tools
Last synced: 25 Dec 2024
https://github.com/mpardalos/pymotd
A python Message of the Day script
mit-license motd python python3
Last synced: 25 Dec 2024
https://github.com/mpardalos/cs-internal-docs
Documentation (assessment criteria) for my IB CS internal assessment project
Last synced: 25 Dec 2024
https://github.com/mpardalos/screeps
My code for the screeps programming game
Last synced: 03 Dec 2024
https://github.com/mpardalos/advent-of-code-2024
My Solutions for Advent of Code 2024, in haskell
Last synced: 03 Dec 2024
https://github.com/mpardalos/advent-of-code-2023
My solutions for advent of code 2023
Last synced: 25 Dec 2024
https://github.com/mpardalos/dont-stop
A top-down fighter where your health constantly ticks down
games top-down-shooter unity unity2d
Last synced: 25 Dec 2024