Stars
Bitwarden client apps (web, browser extension, desktop, and cli).
Insight Toolkit (ITK) -- Official Repository. ITK builds on a proven, spatially-oriented architecture for processing, segmentation, and registration of scientific images in two, three, or more dime…
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
A bidirectional bindings generator for C++ and Rust.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Lightweight, general, scalable C++ library for finite element methods
The core OCaml system: compilers, runtime system, base libraries
Celeritas is a new Monte Carlo transport code designed to accelerate scientific discovery in high energy physics by improving detector simulation throughput and energy efficiency using GPUs.
Open CASCADE Technology (OCCT) is an open-source software development platform for 3D CAD, CAM, CAE.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Home of .NET's Virtual Monolithic Repository which includes all the code needed to build the .NET SDK.
Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
An extremely fast Python linter and code formatter, written in Rust.
Agda is a dependently typed programming language / interactive theorem prover.
JDK main-line development https://openjdk.org/projects/jdk
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…
ClickHouse® is a real-time analytics database management system
Lean 4 programming language and theorem prover