Tim Süberkrüb (timsueberkrueb)

timsueberkrueb

Geek Repo

Company:@aleph-alpha

Location:Germany

Home Page:https://timsueberkrueb.io

Github PK Tool:Github PK Tool

Tim Süberkrüb's repositories

webber

Making webapps superfluous since 2019

Language:RustLicense:NOASSERTIONStargazers:12Issues:3Issues:62

idris2-snap

Snap packaging for Idris 2

pure-maps

Maps and navigation

License:GPL-3.0Stargazers:1Issues:0Issues:0

action-check-snap

GitHub action for checking if a published snap package contains outdated Ubuntu packages

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

actix-jwt-auth-middleware

This crate implements a JSON Webtoken (JWT) middleware for the actix-web framework.

License:MITStargazers:0Issues:0Issues:0

aeneas

A verification toolchain for Rust programs

License:Apache-2.0Stargazers:0Issues:0Issues:0

Airshipper

A cross-platform Veloren launcher.

License:GPL-3.0Stargazers:0Issues:0Issues:0

async-stripe

Async (and blocking!) Rust bindings for the Stripe API

License:Apache-2.0Stargazers:0Issues:0Issues:0

coronaapp

Corona App for Ubuntu Touch

License:NOASSERTIONStargazers:0Issues:0Issues:0

derive-elves

Writing inclusive derive macros is tedious, this creates provides helper functions that make it easier.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:GoLicense:GPL-3.0Stargazers:0Issues:2Issues:0

magenta-studio

Magenta Studio is a collection of music plugins built on Magenta’s open source tools and models

License:Apache-2.0Stargazers:0Issues:0Issues:0

melior

The rustic MLIR bindings in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

mlir-sys

Rust bindings to the MLIR C API.

License:MITStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:2Issues:0

NUR

Nix User Repository: User contributed nix packages [maintainer=@Mic92]

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

nur-packages

My personal NUR repository

Language:NixLicense:MITStargazers:0Issues:0Issues:0

qdrant

Qdrant - Vector Database for the next generation of AI applications. Also available in the cloud https://cloud.qdrant.io/

License:Apache-2.0Stargazers:0Issues:0Issues:0

qdrant-nix

Nix development environment for Qdrant

Language:NixStargazers:0Issues:0Issues:0

qmetaobject-rs

Integrate Qml and Rust by building the QMetaObject at compile time.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

rust-rocksdb

rust wrapper for rocksdb

License:Apache-2.0Stargazers:0Issues:0Issues:0

snapcraft-alsa

ALSA for your snap package routing sound through Pulseaudio!

Language:JsonnetLicense:MITStargazers:0Issues:0Issues:0

tar-rs

Tar file reading/writing for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

uHome

Home screen for Ubuntu Touch

License:NOASSERTIONStargazers:0Issues:0Issues:0

veloren-snap

Snap packaging for Veloren, an open-source multiplayer voxel RPG

Language:ShellStargazers:0Issues:2Issues:0

vscode-idris2-issue

Example to reproduce an issue with idris-vscode

Language:IdrisStargazers:0Issues:0Issues:0
Language:RustLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

yew

Rust / Wasm framework for building client web apps

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

yewdux

Ergonomic state management for Yew apps

License:Apache-2.0Stargazers:0Issues:0Issues:0