Lists (1)
Stars
Empowering everyone to build reliable and efficient software.
Neptune OS: A Windows NT personality for the seL4 microkernel
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Cross-platform Rust rewrite of the GNU coreutils
An Open Source Machine Learning Framework for Everyone
The Void source packages collection
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
Auto-generated Google APIs for Go.
Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.
Gentoo overlay for security tools as well as the heart of the Pentoo Livecd
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
The modern cryptocurrency trading bot framework written in Go.
HardenedBSD / hardenedBSD
Forked from freebsd/freebsd-srcHardenedBSD implements strong exploit mitigations and security hardening technologies on top of FreeBSD, with a direct focus on the nexus between human rights and information security. HardenedBSD …
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
The AI coding agent built for the terminal.
A mod to make and play Terraria mods. Supports Terraria 1.4 (and earlier) installations
DragonFly BSD System Source Repository (read-only mirror)
Hunt down social media accounts by username across social networks
Composable building blocks to build Llama Apps
Lean 4 programming language and theorem prover
The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....