jacobprudhomme
UWaterloo BCS + EPFL/ETHZ MSc CyberSec // Previously @blindsidenetworks, @360incentives, @escrypt, @sigopt, @crypto4a, @missioncontrol
Junior Software Engineer at Mission Control Space ServicesLausanne, VD, Switzerland
jacobprudhomme's Stars
oven-sh/bun
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
bigskysoftware/htmx
</> htmx - high power tools for HTML
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
nushell/nushell
A new type of shell
zellij-org/zellij
A terminal workspace with batteries included
uutils/coreutils
Cross-platform Rust rewrite of the GNU coreutils
HigherOrderCO/Bend
A massively parallel, high-level programming language
sandboxie-plus/Sandboxie
Sandboxie Plus & Classic
ytisf/theZoo
A repository of LIVE malwares for your own joy and pleasure. theZoo is a project created to make the possibility of malware analysis open and available to the public.
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
mamedev/mame
MAME
halide/Halide
a language for fast, portable data-parallel computation
subzeroid/instagrapi
🔥 The fastest and powerful Python library for Instagram Private API 2024
tidalcycles/Tidal
Pattern language
typelevel/spire
Powerful new number types and numeric abstractions for Scala.
bnjbvr/rouille
Rust programming, in French.
hylo-lang/hylo
The Hylo programming language
betaveros/noulith
*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
grin-compiler/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
yallop/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
CakeML/cakeml
CakeML: A Verified Implementation of ML
soupi/haskell-study-plan
An opinionated list of resources for learning Haskell
ActiveState/OpenKomodoIDE
Open Komodo IDE is a fast and free multi-language code editor. Written in JS, Python, C++ and based on the Mozilla platform.
exo-lang/exo
Exocompilation for productive programming of hardware accelerators
vitamin-caig/zxtune
Mirror of http://bitbucket.org/zxtune/zxtune repository with robot-only issues tracker
grin-compiler/ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
esa/gr-opssat
This repository contains the UHF specifications and example applications for demodulating and decoding the received signal.
Basis-Health/readb
Simple key value database designed around read performance
Basis-Health/rustwire
alexrutar/mathbib-py
A mathematics BibLaTeX bibliography manager.