Generate type-safe code from SQL
A C library for asynchronous DNS requests
A free C, C++ and Fortran IDE
Cross-platform tool to build, test and package software
Clean Code concepts and tools adapted for .NET
A time travelling programming language
Visual Studio IDE for writing F# programs
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
A friendly Forth compiler with a little difference
Serialization/RPC system - core tools and C++ library
cuda-oxide is an experimental Rust-to-CUDA compiler
The Small Device C Compiler (SDCC), targeting 8-bit architectures
Compiler from Go to JavaScript for running Go code in a browser
Functional Programming Library for C++
Skills for threat modeling, scanning, triage, patching, etc.
Solidity Compiler for Solana, Polkadot and Stellar
XLS: Accelerated HW Synthesis
A small, fast, pure JavaScript type-stripper
Espressif IoT Development Framework
The compiler for writing next generation JavaScript
tmux is a terminal multiplexer
Lean 4 programming language and theorem prover
An A12/A13 SecureROM exploit
Lightweight Ruby