- Minnesota, USA. U+1F3D4
- All languages
- ANTLR
- Arduino
- Assembly
- AutoHotkey
- BitBake
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Component Pascal
- Coq
- Cuda
- Dart
- Dockerfile
- Eagle
- Elixir
- Elm
- Erlang
- F#
- Fluent
- GDScript
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- JSON
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- KiCad Layout
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Meson
- Mustache
- NSIS
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PLSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Python
- QML
- R
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vue
- WebAssembly
- XML
- hoon
Starred repositories
Magical Deterministic Simulator for distributed systems in Rust.
A model checker for implementing distributed systems.
General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.
Fast, efficient, and robust memory reclamation for Rust.
Worktrunk is a CLI for Git worktree management, designed for parallel AI agent workflows
Virtual Kubelet is an open source Kubernetes kubelet implementation.
Project documentation and workflow system, primarily designed for collaborating with LLM Agents
a TUI like cli tool to manage the features of your rust-project dependencies
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
A toolkit for Bayesian change point detection
Your own self-hosted infra for lightweight VM sandboxes to safely execute untrusted code. CLI, API, Python SDK. ⭐ Star it if you like it! ⭐
P2P Docker registry capable of distributing TBs of data in seconds
eBPF distributed networking observability tool for Kubernetes