Generate type-safe code from SQL
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
Visual Studio IDE for writing F# programs
Cross-platform tool to build, test and package software
Solidity Compiler for Solana, Polkadot and Stellar
A Kotlin compiler plugin to make dependency injection with Dagger 2
Lean 4 programming language and theorem prover
tmux is a terminal multiplexer
XLS: Accelerated HW Synthesis
A friendly Forth compiler with a little difference
cuda-oxide is an experimental Rust-to-CUDA compiler
A small, fast, pure JavaScript type-stripper
Universal LLM Deployment Engine with ML Compilation
Compiler from Go to JavaScript for running Go code in a browser
Style React fast with 100% parity on React Native
Collection of TypeScript type challenges with online judge
Adversary Emulation Framework
high performance coding with golang
Espressif IoT Development Framework
Visualization language that lets AI agents create expressive charts
Serialization/RPC system - core tools and C++ library
JavaScript to WASM compiler
Clojure dialect for Flutter and Dart
Ahead of Time Data Repositories