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
advent-of-code-2020
My solutions to Advent of Code 2020, written in Haskell
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
advent-of-code-2023
My solutions to Advent of Code 2023, written in Go
authpass
AuthPass - Password Manager based on Flutter for all platforms. Keepass 2.x (kdbx 3.x) compatible.
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:
catch-of-the-day
Final static site from React tutorial by Wes Bos
coursier-pkgbuild
Package build description for coursier
demos-for-functions
Demo for Appwrite cloud functions in multiple coding languages ⚡️ 🌩
finger-tree
An implementation and formal verification of finger trees, for CS-550: Formal Verification
get-programming-with-haskell
Code and exercises from the book Get Programming With Haskell by Will Kurt
hallwaylights
Lights for the hallway, duh
jacobprudhomme.github.io
Source for my personal website, built using Slick
learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
mathbib-py
A mathematics BibLaTeX bibliography manager.
moodle-atto_recordrtc
An Atto editor plugin for Moodle that enables audio and video annotation anywhere the editor can be used
moodle-tinymce_recordrtc
A TinyMCE editor plugin for Moodle that enables audio and video annotation anywhere the editor can be used
palitronica-coding-challenge
A coding project for my application to Palitronica
personal-site
Configuration and source for my personal website, using the Slick static site generator
ppm-processor
A reproduction of CS 246 A4Q3 in Haskell, to explore the language
psidh
Sage implementation of the pSIDH post-quantum NIKE
rails_lti2_provider
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.
recordrtc-rails_annotations
Rails application for annotating with audio/video
rust-book
Code, notes and exercises from The Rust Programming Language, colloquially known by Rustaceans as "the book"
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!)
typeclassopedia-exercises
My attempt at the exercises in the Haskell Typeclassopedia
vscode-haskell
VS Code extension for Haskell, powered by haskell-language-server
zipboard-coding-challenge
A coding project for my application to zipBoard
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
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
