The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Vim-fork focused on extensibility and usability

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

A python-ish pure and total functional programming language

Modern embedded framework, using Rust and async.

REST API for any Postgres database

Open Machine Learning Compiler Framework

UNIX-like reverse engineering framework and command-line toolset

Empowering everyone to build reliable and efficient software.

code powering the comma.ai panda

The Python programming language

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

The Python package installer

mimalloc is a compact general purpose allocator with excellent performance.

You like pytorch? You like micrograd? You love tinygrad! ❤️

A Tiny Linux-Compatible Kernel

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

clasp Common Lisp environment

The Go programming language

Karabiner-Elements is a powerful tool for customizing keyboards on macOS

The CompCert formally-verified C compiler

The mouse and trackpad utility for Mac.

Coz: Causal Profiling

A new type of shell

A Multiplayer Mod for Balatro

OpenTitan: Open source silicon root of trust

A next-generation test runner for Rust.

Mirror of https://gitlab.redox-os.org/redox-os/redox

The Serenity Operating System 🐞