OAuth2 in FastAPI apps using Zitadel

Convert conda-forge feedstock to rattler-build

A terraform provider for UptimeRobot

GitHub Action to build conda packages 📦

A high-throughput and memory-efficient inference and serving engine for LLMs

open source audio and video transcription software

A debugging and profiling tool that can trace and visualize python code execution

📦 Pack and unpack conda environments created with pixi

Cargo plugin to manage dependency features

Library and command-line utility for rendering projects templates.

rattler-build is a universal package builder for Windows, macOS and Linux

GitHub Action to set up pixi 📦

Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.

Simplifying conditional Polars Expressions with Python 🐍 🐻‍❄️

Package management made easy

Main source code repository of the Tamarin prover for security protocol verification.

Playing all games of Mastermind quickly

Rayon: A data parallelism library for Rust

Lean 4 programming language and theorem prover

[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)

Advent of Code 2021 optimized solutions in C++

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

Lean 3's obsolete mathematical components library: please use mathlib4

Programm zum Flotten, Einfachen Runterladen von Dateien

LTeX: Grammar/spell checker 🔍✔️ for VS Code using LanguageTool with support for LaTeX 🎓, Markdown 📝, and others

Compiler from LLVM IR to Minecraft datapacks.

A web framework for Rust.

Optimal Rubik's Cube solver