jacobprudhomme
UWaterloo BCS + EPFL/ETHZ MSc CyberSec // Previously @blindsidenetworks, @360incentives, @escrypt, @sigopt, @crypto4a, @missioncontrol
Junior Software Engineer at Mission Control Space ServicesLausanne, VD, Switzerland
Pinned Repositories
advent-of-code-2021
My solutions to Advent of Code 2021, written in Rust
advent-of-code-2022
My solutions to Advent of Code 2022, written in Kotlin
authpass
AuthPass - Password Manager based on Flutter for all platforms. Keepass 2.x (kdbx 3.x) compatible.
finger-tree
An implementation and formal verification of finger trees, for CS-550: Formal Verification
HallwayLights
Lights for the hallway, duh
jacobprudhomme.github.io
Source for my personal website, built using Slick
palitronica-coding-challenge
A coding project for my application to Palitronica
tactable-backend-coding-challenge
A coding project for my application to Tactable (you chose: backend path!)
tactable-frontend-coding-challenge
A coding project for my application to Tactable (you chose: frontend path!)
zipboard-coding-challenge
A coding project for my application to zipBoard
jacobprudhomme's Repositories
jacobprudhomme/advent-of-code-2021
My solutions to Advent of Code 2021, written in Rust
jacobprudhomme/advent-of-code-2022
My solutions to Advent of Code 2022, written in Kotlin
jacobprudhomme/authpass
AuthPass - Password Manager based on Flutter for all platforms. Keepass 2.x (kdbx 3.x) compatible.
jacobprudhomme/finger-tree
An implementation and formal verification of finger trees, for CS-550: Formal Verification
jacobprudhomme/jacobprudhomme.github.io
Source for my personal website, built using Slick
jacobprudhomme/palitronica-coding-challenge
A coding project for my application to Palitronica
jacobprudhomme/tactable-backend-coding-challenge
A coding project for my application to Tactable (you chose: backend path!)
jacobprudhomme/tactable-frontend-coding-challenge
A coding project for my application to Tactable (you chose: frontend path!)
jacobprudhomme/zipboard-coding-challenge
A coding project for my application to zipBoard
jacobprudhomme/advent-of-code-2020
My solutions to Advent of Code 2020, written in Haskell
jacobprudhomme/advent-of-code-2023
My solutions to Advent of Code 2023, written in Go
jacobprudhomme/advent-of-code-2024
My solutions to Advent of Code 2023, written in C∀ (Cforall, see https://cforall.uwaterloo.ca)
jacobprudhomme/awesome-hacktoberfest-plant-a-tree
Will you choose the :sparkles: Hacktoberfest t-shirt :sparkles: but don't want to stop contributing to the environment and a sustainable future? Find an organization here so you can plant a tree! :seedling:
jacobprudhomme/catch-of-the-day
Final static site from React tutorial by Wes Bos
jacobprudhomme/coursier-pkgbuild
Package build description for coursier
jacobprudhomme/demos-for-functions
Demo for Appwrite cloud functions in multiple coding languages ⚡️ 🌩
jacobprudhomme/get-programming-with-haskell
Code and exercises from the book Get Programming With Haskell by Will Kurt
jacobprudhomme/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
jacobprudhomme/mathbib-py
A mathematics BibLaTeX bibliography manager.
jacobprudhomme/moodle-atto_recordrtc
An Atto editor plugin for Moodle that enables audio and video annotation anywhere the editor can be used
jacobprudhomme/moodle-tinymce_recordrtc
A TinyMCE editor plugin for Moodle that enables audio and video annotation anywhere the editor can be used
jacobprudhomme/personal-site
Configuration and source for my personal website, using the Slick static site generator
jacobprudhomme/ppm-processor
A reproduction of CS 246 A4Q3 in Haskell, to explore the language
jacobprudhomme/pSIDH
Sage implementation of the pSIDH post-quantum NIKE
jacobprudhomme/rust-book
Code, notes and exercises from The Rust Programming Language, colloquially known by Rustaceans as "the book"
jacobprudhomme/typeclassopedia-exercises
My attempt at the exercises in the Haskell Typeclassopedia
jacobprudhomme/vscode-haskell
VS Code extension for Haskell, powered by haskell-language-server
jacobprudhomme/zurihac-2024_agda
Exercises and examples to learn Agda (presentation given as part of ZuriHac 2024, day 3). Distilled from the book "Programming and Proving in Agda" by Jesper Cockx
jacobprudhomme/zurihac-2024_generic-programming
Code to follow along with to learn generic programming in Generics.SOP (presentation given as part of ZuriHac 2024, day 2)
jacobprudhomme/zurihac-2024_rhine-koans
Koans to learn FRP in Rhine (presentation given as part of ZuriHac 2024, day 1)