Tactics for discharging Lean goals into SMT solvers.

WHATWG-compliant and fast URL parser written in modern C++, part of Node.js, Clickhouse, Redpanda, Kong, Telegram, Datadog and Cloudflare Workers.

Lightweight framework for easy and efficient code generation

The code for Hotseat!

The fastest and safest AV1 encoder.

JISET: JavaScript IR-based Semantics Extraction Toolchain

Embedded Controller firmware for the Framework Laptop

A minimal `syn` syntax tree pretty-printer

Sending GitHub PRs to the Git mailing list

A VA-API implemention using NVIDIA's NVDEC

A legible monospace font... the very typeface you’ve been trained to recognize since childhood

a classy font

Test Utils Standard

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

The Yices SMT Solver

Kodkod solver for relational logic

Isabelle LLVM Code Generator and Refinement

Go implementation of JSON Web Tokens (JWT).

Flexible I/O Tester

CS 253 Assignment 3 – Somebody's Always Watching 👁️

Python packaging and dependency management made easy

Run Ruby in the browser using WebAssembly

Community maintained fork of pdfminer - we fathom PDF

Write powerful and concise tests. Property-based testing for JavaScript. Like QuickCheck.

Rust-based platform for the Web