Lists (31)
ai
74 repositories
bevy
23 repositories
bio
31 repositories
cloud real
29 repositories
dv replication
58 repositories
ecs
73 repositories
front end
15 repositories
Games
23 repositories
homelab
15 repositories
kube
rf103 repositories
learning
13 repositories
midi keyboard
68 repositories
minions
60 repositories
mojo mlir
35 repositories
music
114 repositories
nix
190 repositories
noobtube
106 repositories
offensive security
26 repositories
otel and data stack
55 repositories
phone
1 repository
pkm
11 repositories
postgres
52 repositories
ricing
22 repositories
robitics
9 repositories
rust
92 repositories
Self-hosting
127 repositories
sheath
16 repositories
simulation
13 repositories
sites landing pages
1 repository
sqlite
22 repositories
symbolic + optimization
31 repositories
Starred repositories
Semantic version control CLI. Entity-level diff, blame, graph, and impact analysis for code. 24 languages via tree-sitter.
The universal metrics layer. Compatible with 15+ formats: Cube, MetricFlow, LookML, Omni, BSL, LDM, Cortex, Malloy, OSI, SML, TML, Hex, Rill, Superset
Orchestrate Claude Code, Codex, and Gemini sessions on a multiplayer canvas. Manage git worktrees, track AI conversations, and visualize your team's agentic work in real-time.
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
Plotlars is a Rust library designed to facilitate the integration between the Polars data analysis library and Plotly library.
DataFusion FlightSQL Server
Integration of opentelemetry with the tracing crate
Geometry and Geography Support for Apache DataFusion
Incremental view maintenance & query rewriting for materialized views in DataFusion
WASM bindings for DataFusion
Optimizer for DataFusion based on the egg framework
Postgres protocol frontend for DataFusion
End-to-end SQL fuzz testing for DataFusion using SQLancer
Automated testing to find logic and performance bugs in database systems
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or fu…
property testing and verification front-end for Rust
Implementation of GANRA, the Gpu Accelerated Non-linear Real Arithmetic solver from the VerifAI paper "Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems"
What if GitHub Actions were local-first and built using Nix?
Some notes on things I find interesting and important.
An implementation of differential dataflow using timely dataflow on Rust.
Graph-native semantic search for Arrow RecordBatches — embeddings, traversal, hybrid ranking, and caching