-
Karlsruhe Institute of Technology (KIT) , TECO
- Karlsruhe
-
20:49
(UTC +01:00) - www.teco.edu/~riedel
- https://orcid.org/0000-0003-4547-1984
Highlights
- Pro
Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- AppleScript
- Augeas
- Bikeshed
- Bru
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Cuda
- D
- Dart
- Dockerfile
- Elixir
- Fluent
- Go
- HTML
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- MDX
- Makefile
- Markdown
- Nix
- OCaml
- PHP
- PLpgSQL
- PowerShell
- Python
- R
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Svelte
- Tcl
- TeX
- Toit
- TypeScript
- Verilog
- Vue
- Zig
Renders Mermaid diagrams faster than you'd run from a volcano! 🌋
All-in-one LLM CLI tool featuring Shell Assistant, Chat-REPL, RAG, AI Tools & Agents, with access to OpenAI, Claude, Gemini, Ollama, Groq, and more.
Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.
Petal: low-latency, multi-window screensharing for macOS and Windows. Every shared window becomes a real native window on every participant's desktop.
OpenVEX feed and NixOS module to manage NixOS CVEs, evaluated against your system's configuration.
Embedded graph memory for AI agents, mobile apps, and the browser.
Build animated explainer videos with your coding agent
walgit with a GitHub Enterprise Server facade — git over smart HTTP from an object-store bucket
Digitaal Autonome Werkomgeving Overheid (DAWO) streeft naar een digitaal autonome en interoperabele basis voor overheidswerkplekken. De repository MinBZK/DAWO-NixOS bevat de code om werkplekken aut…
Open-source manufacturing ERP, MES and QMS. Quoting, MRP, inventory, shop floor, quality and lot/serial traceability on one Postgres schema, with a REST API and MCP server. Self-host or use Carbon …
Accurate time signal generator for radio-controlled watches.
Agent Executor (AX) is Google's open agentic orchestration runtime
Catch intent conflicts before code conflicts. The open-source coordination protocol for coding agents, built above Git.
Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per re…
yq is a portable command-line YAML, JSON, XML, CSV, TOML, HCL and properties processor
Command-line YAML, XML, TOML processor - jq wrapper for YAML/XML/TOML documents
smolBSD is a tiny BSD UNIX (NetBSD) system creation tool, primarily aimed at building modern, lightweight, fast micro VMs
Android SSH client powered by iroh for peer-to-peer connections
A Model Context Protocol (MCP) server that provides tools for interacting with JMAP (JSON Meta Application Protocol) email servers. Built with Deno and using the jmap-jam client library.