Repositories
SekoiaTree/z3
The Z3 Theorem Prover
SekoiaTree/thanatophobia
GNOME extension for productivity boost
SekoiaTree/xdp_test
SekoiaTree/bpf-linker
Simple BPF static linker
SekoiaTree/aya
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
SekoiaTree/escape-ui
SekoiaTree/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
SekoiaTree/libpng
LIBPNG: Portable Network Graphics support, official libpng repository
SekoiaTree/regexpert
Mirror of https://codeberg.org/Sekoia/regexpert. A text transformation utility.
SekoiaTree/nom
Rust parser combinator framework
SekoiaTree/typst
A new markup-based typesetting system that is powerful and easy to learn.
SekoiaTree/otwarchive
The Organization for Transformative Works (OTW) - Archive Of Our Own (AO3) Project
SekoiaTree/CellPond
surreal cellular automata
SekoiaTree/syncedlyrics
Get an LRC format (synchronized) lyrics for your music
SekoiaTree/Horseshoes
A mod that adds horseshoes to Minecraft.
SekoiaTree/Blabber
An extensible data-driven Dialogue API for Minecraft
SekoiaTree/sample-optics
SekoiaTree/stract
web search done right
SekoiaTree/EscapeRoom
Escape room material and code.
SekoiaTree/packages
Packages for Typst.
SekoiaTree/godot
Godot Engine – Multi-platform 2D and 3D game engine
SekoiaTree/Godot-Tools
Godot Tools
SekoiaTree/obsidian-typst
Renders typst code blocks in Obsidian into images using Typst through the power of WASM!
SekoiaTree/lemmy
🐀 A link aggregator and forum for the fediverse
SekoiaTree/fend
Arbitrary-precision unit-aware calculator
SekoiaTree/MoodleDownloader
SekoiaTree/embassy
Modern embedded framework, using Rust and async.
SekoiaTree/VigenereCalculator
Small calculator for Vigenère ciphers