AllThing

katrain Public
Improve your Baduk skills by training with KataGo!

Python 0 154 0 0 Updated Aug 9, 2022
hertzbleed Public

Python 0 41 0 0 Updated Jun 15, 2022
tigerbeetle Public
A distributed financial accounting database designed for mission critical safety and performance to power the future of financial services.

Zig 0 Apache-2.0 73 0 0 Updated Mar 22, 2022
alternative-front-ends Public
Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)

0 AGPL-3.0 90 0 0 Updated Feb 23, 2022
GottesmanTypes Public
A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197

Haskell 0 2 0 0 Updated Feb 3, 2022
kind-icon Public
Completion kind text/icon prefix labelling for emacs in-region completion

Emacs Lisp 0 AGPL-3.0 3 0 0 Updated Nov 20, 2021
AGZ Public
A circuit-level redesign of the Game Boy Advance, addressing many of the issues seen with the original GBA

0 9 0 0 Updated Oct 3, 2021
socat_backdoor Public
How to backdoor Diffie-Hellman, lessons learned from the Socat non-prime prime

Sage 10 76 0 0 Updated Jun 29, 2021
base2048 Public
Binary encoding optimised for Twitter

JavaScript 0 17 0 0 Updated May 3, 2021
test Public

0 0 0 0 Updated Nov 27, 2020

Popular repositories