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
tmux is a terminal multiplexer
A Kotlin compiler plugin to make dependency injection with Dagger 2
XLS: Accelerated HW Synthesis
Lean 4 programming language and theorem prover
cuda-oxide is an experimental Rust-to-CUDA compiler
A Forth compiler with a little difference
Style React fast with 100% parity on React Native
A small, fast, pure JavaScript type-stripper
Collection of TypeScript type challenges with online judge
Ahead of Time Data Repositories
Adversary Emulation Framework
JavaScript to WASM compiler
Espressif IoT Development Framework
Scala Scripting
HLS.js is a JavaScript library that plays HLS in browsers
The reference implementation of Sass, written in Dart
Security oriented software fuzzer
The compiler for writing next generation JavaScript
Compiler from Go to JavaScript for running Go code in a browser