Pinned Repositories
swiftpaxos
Prototype implementation of SwiftPaxos (NSDI 2024)
D3-Chess
Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a given chess position.
epaxos
flint
A tool to compute expected latency for various SMR protocols
go-ycsb
A Go port of Yahoo! Cloud Serving Benchmark (YCSB)
hello-world
Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see CONTRIBUTING.md for contribution instructions!
hooked_on_linus
Linus-like opinion about your code
libconfig
C/C++ library for processing configuration files
lncs
Fix of the original Springer LNCS LaTeX class
redcode-mode
Core War's Redcode major mode for Emacs.
vonaka's Repositories
vonaka/hooked_on_linus
Linus-like opinion about your code
vonaka/lncs
Fix of the original Springer LNCS LaTeX class
vonaka/redcode-mode
Core War's Redcode major mode for Emacs.
vonaka/flint
A tool to compute expected latency for various SMR protocols
vonaka/D3-Chess
Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a given chess position.
vonaka/epaxos
vonaka/go-ycsb
A Go port of Yahoo! Cloud Serving Benchmark (YCSB)
vonaka/hello-world
Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see CONTRIBUTING.md for contribution instructions!
vonaka/libconfig
C/C++ library for processing configuration files
vonaka/lila
♞ lichess.org: the forever free, adless and open source chess server ♞
vonaka/love-release
:love_letter: Lua script that makes LÖVE game release easier
vonaka/smc_station
saturday-morning cartoon station
vonaka/yankel
babelweb2 emacs client
vonaka/YCSB
Yahoo! Cloud Serving Benchmark
vonaka/zeroclickinfo-goodies
DuckDuckGo Instant Answers based on Perl & JavaScript