Cogent Project

a smol tcp/ip stack

Rust Linux-compatible kernel

A language with lexical effect handlers and lightweight effect polymorphism

Real world text editing traces for benchmarking CRDT and Rope data structures

High quality, fast and easy to build cryptography for Rust

Simulation testing for Go

Protect hosts from brute-force attacks against SSH and other services

reusable widgets made easy

a scalable data profiler

An extensible framework for linking databases and interactive views.

Query processing and transformation of array-backed data tables.

Deduplicated indexed binary storage for JSON

A controlled concurrency testing framework for the JVM

CDB library for Go with memory map and 64b support.

Transient commands

A reasonable configuration language

Trixter Proxy + tokio-netem: chaos engineering tools for Rust networking

A lightweight, no-std, object-safe, serialization-only framework for Rust

New register allocator designed as a successor to regalloc2

A novel data compression framework

Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels

JavaScript/TypeScript-native, low-boilerplate, object-capability RPC system

A Wadler–Lindig pretty printer for Python

Terminal session recorder, streamer and player 📹

Source code spell checker

Legible, Scalable, Reproducible Foundation Models with Named Tensors and Jax

A `Neural = Symbolic` framework for sound and complete weighted real-value logic