Stars
CakeML: A Verified Implementation of ML
An opam repository with OCaml compilers variants installing `ocamlnat`
An extension for VS Code which provides support for HOL Light
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
The Ott tool for writing definitions of programming languages and calculi
A retargetable MLIR-based machine learning compiler and runtime toolkit.
Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
pySMT: A library for SMT formulae manipulation and solving
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
One-for-all python script for running LLVM experiment
collection of C/C++ programs that try to get compilers to exploit undefined behavior