Pinned Repositories
atuin
✨ Magical shell history
awesome-markdown-editors
A collection of awesome markdown editors & (pre)viewers for Linux, Apple OS X, Microsoft Windows, the World Wide Web & more
BulkSteelExtractionRevived
A revival of Bulk Steel Extraction mod updated for RimWorld 1.1, 1.2 and 1.3
CXXGraph
Header-Only C++ Library for Graph Representation and Algorithms
docs
DropOnWaterRevived
Dwarf-Therapist
Dwarf management tool for Dwarf Fortress
ifj20-go-compiler
IFJ20 compiler – a Go-inspired language compiler
mata
A fast and simple automata library
z3-noodler
The Z3-Noodler String Solver
Adda0's Repositories
Adda0/DropOnWaterRevived
Adda0/atuin
✨ Magical shell history
Adda0/awesome-markdown-editors
A collection of awesome markdown editors & (pre)viewers for Linux, Apple OS X, Microsoft Windows, the World Wide Web & more
Adda0/BulkSteelExtractionRevived
A revival of Bulk Steel Extraction mod updated for RimWorld 1.1, 1.2 and 1.3
Adda0/CXXGraph
Header-Only C++ Library for Graph Representation and Algorithms
Adda0/docs
Adda0/Dwarf-Therapist
Dwarf management tool for Dwarf Fortress
Adda0/flake-starter-config
Adda0/FloatingSolarPanelsRevived
Adda0/ims-queueing-system-in-logistics
Adda0/kachna-online
Students' Club U Kachničky: Member's portal
Adda0/mata
A new automata library
Adda0/Noodler
Solving String equations using automata
Adda0/Stardrop
Stardrop is an open-source, cross-platform mod manager for the game Stardew Valley.
Adda0/flathub
Pull requests for new applications to be added
Adda0/io.anytype.anytype
Adda0/nix-flatpak
Install flatpaks declaratively
Adda0/nixos-and-flakes-book
:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！
Adda0/nixpkgs
Nix Packages collection & NixOS
Adda0/noodler-smt-string-bench-graphs
Adda0/optifa
Abstraction of State Languages in Automata Algorithms
Adda0/smt-lib-replace-transducers-benchmarks
Benchmarks for string replace operations in benchmarks from SMT-LIB
Adda0/stardrop-flatpak
Flatpak build files for the Stardrop mod manager
Adda0/symboliclib
Adda0/touchcursor-linux
TouchCursor style keyboard remapping for Linux.
Adda0/Transducers-in-Automata-Library-Mata
Adda0/Transducers-in-Automata-Library-Mata_experiments
Experiments for adding support for finite transducers in automata library Mata
Adda0/VegetarianMealsIncreasedNutrition
Adda0/z3-noodler
The Z3 Theorem Prover
Adda0/zellij-org.github.io
The website for zellij