aytey

@VectorSoftwareRICornwall

Pinned Repositories

alacritty
A cross-platform, OpenGL terminal emulator.
Language:Rust4 1 00
backward-c
backward-c
Language:C1 2 00
cpp20_module_examples
cpp_modules_test
Language:Shell3 2 00
folly_1444
Reproducer for https://github.com/facebook/folly/issues/1444
Language:C++1 2 00
purethermal1-uvc-capture
USB Video Class capture examples for PureThermal 1 FLIR Lepton Dev Kit
Language:Objective-C5 3 00
ros2_opensuse_scripts
ros2_opensuse_scripts
Language:Shell1 2 01
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Language:SMT342 14 15766
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT1.1k 37 2.6k245
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C++536 33 313130
z3
The Z3 Theorem Prover
Language:C++10.8k 180 5.6k1.5k

aytey's Repositories

aytey/alacritty
A cross-platform, OpenGL terminal emulator.
Language:Rust4 1 00
aytey/cpp20_module_examples
cpp_modules_test
Language:Shell3 2 00
aytey/backward-c
backward-c
Language:C1 2 00
aytey/ros2_opensuse_scripts
ros2_opensuse_scripts
Language:Shell1 2 01
aytey/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”.
Language:SMT1 0
aytey/cargo-hexpand
cargo-expand, but with Hygiene [WIP]
Language:Rust0 0
aytey/cargo-llvm-cov
Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).
Language:Rust
aytey/cgreen
A modern, portable, cross-language unit testing and mocking framework for C and C++
Language:C1 0
aytey/cpython
The Python programming language
Language:Python1 0
aytey/cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT1 0
aytey/cvise
Super-parallel Python port of the C-Reduce
Language:C++1 0
aytey/cython
The most widely used Python to C compiler
Language:Python1 0
aytey/cython-manylinux-setup
cython_main_setup
Language:Shell2 0
aytey/ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
Language:Python1 0
aytey/ggllm.cpp
Falcon LLM ggml framework with CPU and GPU support
aytey/ifc
SDK for the IFC specification at https://github.com/microsoft/ifc-spec
Language:C++1 0
aytey/ifc-reader
Language:C++1 0
aytey/infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml1 0
aytey/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
1 0
aytey/llvm2c
Decompiler of LLVM bitcode to C
Language:C++1 0
aytey/log4j-affected-db
1 0
aytey/pfm
Postfix Monitor (and Defender)
Language:Python1 0
aytey/psychec
A compiler frontend for the C programming language
Language:C++1 0
aytey/psychec_docker
psychec_docker
Language:Dockerfile2 0
aytey/py-msvc-demangler
A python package for demangling MSVC C++ linker symbols
aytey/scikit-build
Improved build system generator for CPython C, C++, Cython and Fortran extensions
Language:Python1 0
aytey/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C++3 0
aytey/vscode_bug
Demo of vscode bug
Language:TypeScript2 0
aytey/wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Language:Rust1 0
aytey/z3
The Z3 Theorem Prover
Language:C++1 0