Sōzu HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust. It is awesome!

Kani Rust Verifier

A language server for Standard ML.

FSharp source code formatter

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Data Dumper library dumps any data as valid syntax in Go

Concurrency permutation testing tool for Rust.

A static verifier for Rust, based on the Viper verification infrastructure.

Embeddable Lambda Prolog Interpreter

Shuttle is a library for testing concurrent Rust code

Flexible concrete Error type built on std::error::Error

LR(1) parser generator for Rust

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

QuickCheck inspired property-based testing for OCaml.

Write better integration tests! Dockertest helps you boot up ephermal docker images for your Go tests with minimal work.

Experimental implementation of a proposed v2 encoding/json package

Drop-in Service Discovery capabilities for Google Cloud Run.

Fast web fuzzer written in Go

🚀 Fast and simple Node.js version manager, built in Rust

Continuous Profiling Platform. Debug performance issues down to a single line of code

Tool developped for "Bounded verification of message passing concurrency in Go programs."

An ecosystem of tools to build robust applications in TypeScript

Measuring branch coverage of golang test

A purely functional programming language with first class types

protoc-gen-bq-schema helps you to send your Protocol Buffer messages to BigQuery.

Official documentation website for the ReScript programming language

Define infrastructure resources using programming constructs and provision them using HashiCorp Terraform

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

Assorted immutable collection datatypes for Rust