Framework for Enterprise Application Development in c++, HTTP1/HTTP2/HTTP3 compliant, Supports multiple server backends

An HTTP library and web framework for safe Rust

A framework for building native applications using React

The simplest file server for web development purposes

A layering static file server written in Rust.

A small application with no dependencies to expose a local folder as an HTTP server. It includes a file explorer and a Markdown renderer.

Container runtimes on macOS (and Linux) with minimal setup

A curated list of awesome resources related to executable packing

A collection of software installations scripts for Windows systems that allows you to easily setup and maintain a reverse engineering environment on a VM.

Light weight, performant, resilient, container scaling solution with service discovery and proxying.

🦀 Find the minimum supported Rust version (MSRV) for your project

Artifact collection tool for *nix systems

The VIM editor reinvented in Rust+TypeScript.

Hypothesis-like property testing for Rust

Automated property based testing for Rust (with shrinking).

Crucible is a library for symbolic simulation of imperative programs

An easy to use / install solution heavily based on OpenProject.

A web browser that plays old world blues to build new world hope

Bible software that runs in the browser

the official Rust and C implementations of the BLAKE3 cryptographic hash function

Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.

A Rust library for building interactive prompts

Beautiful, minimal, opinionated CLI prompts inspired by the Clack NPM package

Creusot helps you prove your code is correct in an automated fashion.

A Terminal UI for browsing security vulnerabilities (CVEs)

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

WebSocket implementation for both client and server

A simple, retro theme for Hugo