Stars
Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
Our repository for Diversity, Equity and Inclusion work at Mozilla
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Command line client for Nix binary cache hosting:
A modular SQL linter and auto-formatter with support for multiple dialects and templated code.
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
Library for generating Haskell source files and code fragments.
An implementation of a Relaxed Radix Balanced Vector in Haskell.
HTTP load testing tool and library. It's over 9000!
Automatically generate Haskell bindings from C header files
Agda is a dependently typed programming language / interactive theorem prover.
A list of Free Software network services and web applications which can be hosted on your own servers
My own templates and implementation of important algorithms and data structures for competitive programming
The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.