Tim Süberkrüb's repositories
idris2-snap
Snap packaging for Idris 2
action-check-snap
GitHub action for checking if a published snap package contains outdated Ubuntu packages
actix-jwt-auth-middleware
This crate implements a JSON Webtoken (JWT) middleware for the actix-web framework.
aeneas
A verification toolchain for Rust programs
Airshipper
A cross-platform Veloren launcher.
async-stripe
Async (and blocking!) Rust bindings for the Stripe API
coronaapp
Corona App for Ubuntu Touch
derive-elves
Writing inclusive derive macros is tedious, this creates provides helper functions that make it easier.
Idris2
A purely functional programming language with first class types
magenta-studio
Magenta Studio is a collection of music plugins built on Magenta’s open source tools and models
melior
The rustic MLIR bindings in Rust
mlir-sys
Rust bindings to the MLIR C API.
nur-packages
My personal NUR repository
qdrant
Qdrant - Vector Database for the next generation of AI applications. Also available in the cloud https://cloud.qdrant.io/
qdrant-nix
Nix development environment for Qdrant
qmetaobject-rs
Integrate Qml and Rust by building the QMetaObject at compile time.
rust-rocksdb
rust wrapper for rocksdb
snapcraft-alsa
ALSA for your snap package routing sound through Pulseaudio!
tar-rs
Tar file reading/writing for Rust
uHome
Home screen for Ubuntu Touch
veloren-snap
Snap packaging for Veloren, an open-source multiplayer voxel RPG
vscode-idris2-issue
Example to reproduce an issue with idris-vscode
yewdux
Ergonomic state management for Yew apps