Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by yannham
A curated list of projects in awesome lists by yannham .
https://github.com/yannham/visual-goi
A graphical tool to translate lambda terms to proof nets and run GoI token machine on it
Last synced: 10 Oct 2024
https://github.com/yannham/ocaml-msp
MSP Pairing-based signature scheme in OCaml
Last synced: 26 Dec 2024
https://github.com/yannham/guestbook-go-nickel
Kubernetes guestbook-go example in Nickel
Last synced: 26 Dec 2024
https://github.com/yannham/kobeau-reader
Simple, one-liner installer of KOReader on a Kobo device powered by Nix.
Last synced: 26 Dec 2024
https://github.com/yannham/chrysto
Web-application used as a pedagogical support for a presentation on the history of cryptography.
Last synced: 26 Dec 2024