Definitional implementation of Cedar language and utilities for DRT

Implementation of the Cedar Policy Language

SampCert : Verified Differential Privacy

Zstandard - Fast real-time compression algorithm

Extremely Fast Compression algorithm

Reference compiler for c0

The rewritten engine, originally for tensorflow. Now all other backends have been ported here.

C99 implementation of the HTTP/1.1 and HTTP/2 specifications

Formalizing stochastic doubly-efficient debate

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

Automatically exported from code.google.com/p/farmhash

fork of the sf.net project, with fixed algos bmz8 chd chd_ph and hashes

Lean 4 kernel / 'external checker' written in Lean 4

Lean 4 programming language and theorem prover

The math library of Lean 4

The formal proof of the Kepler conjecture

Google core libraries for Java

Olympus Digital Voice Recorder Driver

An open-source C++ library developed and used at Facebook.

🔎 Open source distributed and RESTful search engine.

Utilities for Amazon Elastic File System (EFS)

Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

A python Linear Programming API

The Python programming language

try something small in c++

The original source code of Microsoft GW-BASIC from 1983

A collection of GW-BASIC code by various authors

PC-BASIC - A free, cross-platform emulator for the GW-BASIC family of interpreters

An annotation processor for generating type-safe bean mappers