Ivan Oleynikov's repositories
afp-code
Public code for the course AFP (Advanced Functional Programming, Chalmers TDA342)
autotiling
Script for sway and i3 to automatically switch the horizontal / vertical window split orientation
biblatex
A Rust crate for parsing and writing BibTeX and BibLaTeX files.
buck2-1
Build system, successor to Buck
calcure
Modern TUI calendar and task manager with minimal and customizable UI.
Coq-HoTT
A Coq library for Homotopy Type Theory
CTFd
CTFs as you need them
cutter
Free and Open Source Reverse Engineering Platform powered by rizin
DOOM
DOOM Open Source Release
feedi
A personal news reader and Mastodon client
haskell-nix
Nix and Haskell in production
Hyprland
Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
LaTeXML
LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
linux-network-performance-parameters
Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
neptune
Rust Poseidon implementation.
pdf-writer
A step-by-step PDF writer.
pixelfed
Photo Sharing. For Everyone.
RSSHub
🍰 Everything is RSSible
snarkVM
A Virtual Machine for Zero-Knowledge Executions
svg2pdf
Converts SVG files to PDF.
tdesktop
Telegram Desktop messaging app
texlab
An implementation of the Language Server Protocol for LaTeX
typst
A new markup-based typesetting system that is powerful and easy to learn.
typst-lsp
A brand-new language server for Typst, plus a VS Code extension
xilem
An experimental Rust native UI framework
z3
The Z3 Theorem Prover
zeropool-near
ZeroPool NEAR smart contracts