aytey Goto Github PK

alacritty

A cross-platform, OpenGL terminal emulator.

backward-c

backward-c

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”.

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

btor2tools

A generic parser and tool package for the BTOR2 format.

cadical

CaDiCaL SAT Solver

cargo-llvm-cov

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

cbt_for_ada_examples

Examples for the Ada Europe 2016 Paper: Change-based Testing for Ada

cgreen

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

cmake-microchip

CMake modules for the Microchip embedded toolchain

cpp20_module_examples

cpp_modules_test

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

cxx11tests

Collection of tests to check which C++11 features are supported by a specific (pre-installed) compiler.

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

flexnet

Python package for querying FlexNet license servers

folly_1444

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

folly_reduce

folly_reduce

fp_test_generator

Random floating-point testcase generator for SMT-LIB

gcc

ggllm.cpp

Falcon LLM ggml framework with CPU and GPU support

glpk-cut-log

A fork of glpk that includes additional logging features for how cuts were generated.

halfempty

A fast, parallel test case minimization tool.

home

homebrew-core

🍻 Default formulae for the missing package manager for macOS