Tactics for discharging Lean goals into SMT solvers.

WHATWG-compliant and fast URL parser written in modern C++, part of Internet Archive, Node.js, Clickhouse, Redpanda, Kong, Telegram, Adguard, 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 …

SRI 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