DoomDuck's Stars
notation-fun/notation
A modern visual music notation, colorful and dynamic
mcxiv/10cord
10cord is an alternative Discord client. It runs entirely in your terminal.
phillbush/jvm
simple java virtual machine
ko1/rubyhackchallenge
tournesol-app/tournesol
Free and open source code of the https://tournesol.app platform. Meet the community on Discord https://discord.gg/WvcSG55Bf3
DeltaEvo/nixos-configs
zkcrypto/bellman
zk-SNARK library.
the-mikedavis/dotfiles
my dotfiles, managed by Nix
embeddedTS/linux-a38x
Kernel for TS-7840/TS-7820/TS-7800-V2
o1-labs/proof-systems
The proof systems used by Mina
facebook/zstd
Zstandard - Fast real-time compression algorithm
Ballasi/num2words
Convert numbers like 42 to forty-two
cavalcadeur/kallypse
FreeTubeApp/FreeTube
An Open Source YouTube app for privacy
syl20bnr/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!