Name: Jacob Prud'homme
Type: User
Company: Junior Software Engineer at Mission Control Space Services
Bio: UWaterloo BCS + EPFL/ETHZ MSc CyberSec
//
Previously @blindsidenetworks, @360incentives, @escrypt, @sigopt, @crypto4a, @missioncontrol
Location: Lausanne, VD, Switzerland
Blog: jacobprudhom.me
Jacob Prud'homme's Projects
My solutions to Advent of Code 2020, written in Haskell
My solutions to Advent of Code 2021, written in Rust
My solutions to Advent of Code 2022, written in Kotlin
My solutions to Advent of Code 2023, written in Go
AuthPass - Password Manager based on Flutter for all platforms. Keepass 2.x (kdbx 3.x) compatible.
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:
Final static site from React tutorial by Wes Bos
Package build description for coursier
Demo for Appwrite cloud functions in multiple coding languages ⚡️ 🌩
An implementation and formal verification of finger trees, for CS-550: Formal Verification
Code and exercises from the book Get Programming With Haskell by Will Kurt
Lights for the hallway, duh
Source for my personal website, built using Slick
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
A mathematics BibLaTeX bibliography manager.
An Atto editor plugin for Moodle that enables audio and video annotation anywhere the editor can be used
A TinyMCE editor plugin for Moodle that enables audio and video annotation anywhere the editor can be used
A coding project for my application to Palitronica
Configuration and source for my personal website, using the Slick static site generator
A reproduction of CS 246 A4Q3 in Haskell, to explore the language
Sage implementation of the pSIDH post-quantum NIKE
A fork of the rails_lti2_provider gem to aid local development without Castle. Changes coming soon to Blindside Networks gem that will make this fork unnecessary.
Rails application for annotating with audio/video
Code, notes and exercises from The Rust Programming Language, colloquially known by Rustaceans as "the book"
A coding project for my application to Tactable (you chose: backend path!)
A coding project for my application to Tactable (you chose: frontend path!)
My attempt at the exercises in the Haskell Typeclassopedia
VS Code extension for Haskell, powered by haskell-language-server
A coding project for my application to zipBoard
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