-
Tufa Labs
- Zürich, Switzerland
- in/dominique-garmier
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Starred repositories
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
Production-grade Rust-native trading engine with deterministic event-driven architecture
An AI agent for teams, communities, and multi-user environments.
Visualize flows on the space of lattices SL2(R)/SL2(Z).
Use sidecar next to CLI agents for diffs, file trees, conversation history, and task management with td
IDE for the AI Agents Era - Run an army of Claude Code, Codex, etc. on your machine
An app to monitor the (Codex) situation
Manage your dotfiles across multiple diverse machines, securely.
Aim 💫 — An easy-to-use & supercharged open-source experiment tracker.
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.
Beads - A memory upgrade for your coding agent
Get 10X more out of Claude Code, Codex or any coding agent
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
You like pytorch? You like micrograd? You love tinygrad! ❤️
Simplifying reinforcement learning for complex game environments
A PyTorch repo for data loading and utilities to be shared by the PyTorch domain libraries.
Examples of generating HMAC and RSA signature for Binance API
Honcho: a python clone of Foreman. For managing Procfile-based applications.
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
Binance Exchange API python implementation for automated trading
github action to automatically keep docstrings up to date
DuckLake is an integrated data lake and catalog format
Privacy first, AI meeting assistant with 4x faster Parakeet/Whisper live transcription, speaker diarization, and Ollama summarization built on Rust. 100% local processing. no cloud required. Meetil…
Simple connector to Binance Public API
Kleinkram: Open Robotic Data Management
A collection of formalized statements of conjectures in Lean.