Lean 4 programming language and theorem prover

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

DMTCP: Distributed MultiThreaded CheckPointing

FlamingPy is a cross-platform Python library with a variety of backends for efficient simulations of error correction in fault-tolerant quantum computers.

Hystrix is a latency and fault tolerance library designed to isolate points of access to remote systems, services and 3rd party libraries, stop cascading failure and enable resilience in complex di…

Mirror of Apache Kafka

Tempo is a program for pulsar timing data analysis.

Command-line JSON processor

A VIM-inspired filemanager for the console

The world’s fastest framework for building websites.

⏰ 🔥 A TCP proxy to simulate network and system conditions for chaos and resiliency testing

Liquid markup language. Safe, customer facing template language for flexible web apps.

Go minifiers for web formats

🌐 Jekyll is a blog-aware static site generator in Ruby

Rewrite of the popular wireless network auditor, "wifite"

CircuitPython - a Python implementation for teaching coding with microcontrollers

NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.

Make your functions return something meaningful, typed, and safe!

Oxidized Astrodynamics

A modular and extensible wayland compositor

A modern runtime for JavaScript and TypeScript.

A tiling window manager based on binary space partitioning

UltiSnips - The ultimate snippet solution for Vim. Send pull requests to SirVer/ultisnips!

Document viewer

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

The new Windows Terminal and the original Windows console host, all in the same place!

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.