Pinned Repositories
2bwm
A fast floating WM written over the XCB library and derived from mcwm.
aoc
automorph-and-isomorph-py
Program that determines isomorphic equivalence classes and automorphism counts
beanbotv2
Beanchild, but written in discord.ext
challenger-deep-vim
FlatColor vim colorscheme
eca
ECA rule engine in python
ggst-api-rs
A library for interfacing with the REST API of Guilty Gear Strive
lmc
Linear model checker utility application focused on Petri Nets
ratify
A high performance DRAT proof checker in Rust
terminal-discord
NOT MAINTAINED Simple terminal client for discord with a minimal look and UI
xynxynxyn's Repositories
xynxynxyn/terminal-discord
NOT MAINTAINED Simple terminal client for discord with a minimal look and UI
xynxynxyn/ggst-api-rs
A library for interfacing with the REST API of Guilty Gear Strive
xynxynxyn/2bwm
A fast floating WM written over the XCB library and derived from mcwm.
xynxynxyn/aoc
xynxynxyn/automorph-and-isomorph-py
Program that determines isomorphic equivalence classes and automorphism counts
xynxynxyn/beanbotv2
Beanchild, but written in discord.ext
xynxynxyn/challenger-deep-vim
FlatColor vim colorscheme
xynxynxyn/eca
ECA rule engine in python
xynxynxyn/lmc
Linear model checker utility application focused on Petri Nets
xynxynxyn/neofetch
🖼️ A command-line system information tool written in bash 3.2+
xynxynxyn/ratify
A high performance DRAT proof checker in Rust
xynxynxyn/onefetch
Neofetch for your source code
xynxynxyn/polybar
A fast and easy-to-use status bar
xynxynxyn/uiua
A stack-based array programming language
xynxynxyn/vim-racer
Racer support for Vim