Pinned Repositories
gb-voodoo
Compute Gröbner Bases where Vectors of Origin Disclose on Occurrences (for lack of a better backronym)
choir2anki
A script to convert lilypond files written in the style of our choir into notes for anki.
gb
Library for computing Gröbner bases.
gb-voodoo
Compute Gröbner Bases where Vectors of Origin Disclose on Occurrences (for lack of a better backronym)
jan-ferdinand
jan-ferdinand.github.io
jfs's personal website
lychee
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
zudoku
Intuitive Zero-Knowledge Primer.
triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
jan-ferdinand's Repositories
jan-ferdinand/gb
Library for computing Gröbner bases.
jan-ferdinand/zudoku
Intuitive Zero-Knowledge Primer.
jan-ferdinand/choir2anki
A script to convert lilypond files written in the style of our choir into notes for anki.
jan-ferdinand/gb-voodoo
Compute Gröbner Bases where Vectors of Origin Disclose on Occurrences (for lack of a better backronym)
jan-ferdinand/jan-ferdinand
jan-ferdinand/jan-ferdinand.github.io
jfs's personal website
jan-ferdinand/lychee
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
jan-ferdinand/rust
Empowering everyone to build reliable and efficient software.
jan-ferdinand/rust-basel-full-stack-workshop
Rust Basel Workshop on Full Stack Development