Pinned Repositories
.dotfiles
My dotfiles
buffer-overflow
A Tutorial on Buffer Overflows
cfparser
Codeforces Parser for Emacs (Discontinued, see https://github.com/gabrielsimoes/cfparser.vim for a more actively developed analogue)
farm.hs
Exploit Farm for Classic CTF Competitions
fawkes-crypto
Fawkes-Crypto - zkSNARKs framework
kalina
RSS reader written purely in Haskell // Moved to SourceHut
mess
Set of Utilities for Backing up vk.com Messages
moddep.pl
Kernel Module Dependencies Graph Builder
tstest
SO_TIMESTAMPING examples
gnull's Repositories
gnull/afp-code
Public code for the course AFP (Advanced Functional Programming, Chalmers TDA342)
gnull/autotiling
Script for sway and i3 to automatically switch the horizontal / vertical window split orientation
gnull/biblatex
A Rust crate for parsing and writing BibTeX and BibLaTeX files.
gnull/buck2-1
Build system, successor to Buck
gnull/calcure
Modern TUI calendar and task manager with minimal and customizable UI.
gnull/Coq-HoTT
A Coq library for Homotopy Type Theory
gnull/CTFd
CTFs as you need them
gnull/cutter
Free and Open Source Reverse Engineering Platform powered by rizin
gnull/DOOM
DOOM Open Source Release
gnull/feedi
A personal news reader and Mastodon client
gnull/halo2curves
gnull/haskell-nix
Nix and Haskell in production
gnull/Hyprland
Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
gnull/LaTeXML
LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
gnull/linux-network-performance-parameters
Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
gnull/neptune
Rust Poseidon implementation.
gnull/pdf-writer
A step-by-step PDF writer.
gnull/pixelfed
Photo Sharing. For Everyone.
gnull/poseidon
gnull/RSSHub
🍰 Everything is RSSible
gnull/snark-verifier
gnull/snarkVM
A Virtual Machine for Zero-Knowledge Executions
gnull/svg2pdf
Converts SVG files to PDF.
gnull/tdesktop
Telegram Desktop messaging app
gnull/texlab
An implementation of the Language Server Protocol for LaTeX
gnull/typst
A new markup-based typesetting system that is powerful and easy to learn.
gnull/typst-lsp
A brand-new language server for Typst, plus a VS Code extension
gnull/xilem
An experimental Rust native UI framework
gnull/z3
The Z3 Theorem Prover
gnull/zeropool-near
ZeroPool NEAR smart contracts