Generate type-safe code from SQL
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
Solidity Compiler for Solana, Polkadot and Stellar
A Kotlin compiler plugin to make dependency injection with Dagger 2
XLS: Accelerated HW Synthesis
cuda-oxide is an experimental Rust-to-CUDA compiler
Style React fast with 100% parity on React Native
Lean 4 programming language and theorem prover
A small, fast, pure JavaScript type-stripper
Collection of TypeScript type challenges with online judge
Ahead of Time Data Repositories
Adversary Emulation Framework
Scala Scripting
Espressif IoT Development Framework
JavaScript to WASM compiler
The reference implementation of Sass, written in Dart
HLS.js is a JavaScript library that plays HLS in browsers
Security oriented software fuzzer
ProGuard, Java optimizer and obfuscator
The programming language for agents
Apache Royale ASJS
Bundler-free build tool for TypeScript libraries
Lightweight Ruby
Benchmarking library for clojure
Functional Programming Library for C++