- Germany
Highlights
- Pro
Stars
A language with dependent data and codata types
GPN22 kitctf writeups of the #1 best ctf team ever created (17/688)
TerminalTextEffects (TTE) is a terminal visual effects engine, application, and Python library.
⭐️ A friendly language for building type-safe, scalable systems!
A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm
Empowering everyone to build reliable and efficient software.
👾 A place where Datastructures and Algorithms find their place to exist
Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.
Free monospaced font with programming ligatures
Spoken word recognition using CTC LSTMs for SWR2 Tübingen
Fullstack app framework for web, desktop, and mobile.
Cross-platform and non-web GUI library for 🦀 Rust powered by 🎨 Skia.
A multi-threaded, GPU-powered, 2D vector graphics environment for Node.js
💤 Efficient sleepsort in assembly with similar* performance to quicksort
This program monitors a plant waterlevel with a moisture sensors and notifies the user when it wants to be watered. A project inspired by achnina's talking plant.
💻 Small operating system written from scratch (covid/school project)
✨ File format and optimizer for programs encoded in binary lambda calculus
A language with lexical effect handlers and lightweight effect polymorphism