aytey

alacritty

A cross-platform, OpenGL terminal emulator.

cpp20_module_examples

cpp_modules_test

backward-c

backward-c

folly_1444

Reproducer for https://github.com/facebook/folly/issues/1444

ros2_opensuse_scripts

ros2_opensuse_scripts

bitwuzla

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 is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

cgreen

A modern, portable, cross-language unit testing and mocking framework for C and C++

cpython

The Python programming language

cryptominisat

An advanced SAT Solver

cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

cvise

Super-parallel Python port of the C-Reduce

cython

The most widely used Python to C compiler

cython-manylinux-setup

cython_main_setup

ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.

facebook-clang-plugins

Plugins to clang-analyzer and clang-frontend

folly_reduce

folly_reduce

ggllm.cpp

Falcon LLM ggml framework with CPU and GPU support

homebrew-core

🍻 Default formulae for the missing package manager for macOS

ifc

SDK for the IFC specification at https://github.com/microsoft/ifc-spec

ifc-reader

infer

A static analyzer for Java, C, C++, and Objective-C

log4j-affected-db

nwipe

nwipe secure disk eraser

psychec

A compiler frontend for the C programming language

psychec_docker

psychec_docker

scikit-build

Improved build system generator for CPython C, C++, Cython and Fortran extensions

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

vscode_bug

Demo of vscode bug

wezterm

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

z3

The Z3 Theorem Prover