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

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

The Serenity Operating System 🐞

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

Free and Open Source Reverse Engineering Platform powered by rizin

FoundationDB - the open source, distributed, transactional key-value store

Google's Operations Research tools:

The Z3 Theorem Prover

Record and Replay Framework

A Python-embedded modeling language for convex optimization problems.

The Time Series Visualization Tool that you deserve.

Yosys Open SYnthesis Suite

Icarus Verilog

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

Sidetone and Battery status for Logitech G930, G533, G633, G933 SteelSeries Arctis 7/PRO 2019 and Corsair VOID (Pro) in Linux and MacOSX

langcc: A Next-Generation Compiler Compiler

C++ application development framework, to help developers create and deploy applications quickly and simply

The OpenCog (hyper-)graph database and graph rewriting system

A C++ library providing various concurrent data structures and reclamation schemes.

C Foreign Function Interface and JIT using Clang/LLVM

DNP3 (IEEE-1815) protocol stack. Modern C++ with bindings for .NET and Java.

Open FPGA tools

The Only Low Level Library you'll ever need

amp-embedded-infra-lib is a set of C++ libraries and headers that provide heap-less, STL like, infrastructure for embedded software development

The eChronos real-time operating system

Currently fastest public CPU Equihash/zcash/zec miner

This is a mirror of the subversion repository on COIN-OR

Finding optimal play in the game of wordle