-
bdd-benchmark Public
Forked from ssoelvsten/bdd-benchmarkA collection of benchmarks for BDD packages with comparable implementations
C++ MIT License UpdatedNov 26, 2024 -
-
adiar Public
Forked from ssoelvsten/adiarAn I/O-efficient implementation of (Binary) Decision Diagrams
C++ MIT License UpdatedOct 7, 2024 -
cudd Public
Forked from ssoelvsten/cuddCUDD: CU Decision Diagram package - unofficial (and slightly modified) git mirror
C BSD 3-Clause "New" or "Revised" License UpdatedOct 3, 2024 creusot Public
Forked from creusot-rs/creusotCreusot helps you prove your code is correct in an automated fashion.
Rust GNU Lesser General Public License v2.1 UpdatedJun 25, 2024 buddy Public
Forked from ssoelvsten/buddyBuDDy BDD package (with CMake support)
C Other UpdatedMay 2, 2024 cal Public
Forked from ssoelvsten/calUniversity of California BDD Package
C Other UpdatedMay 1, 2024 SPARTA Public
Forked from facebook/SPARTASPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
C++ MIT License UpdatedApr 5, 2024 maturin Public
Forked from PyO3/maturinBuild and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages
Rust Apache License 2.0 UpdatedFeb 28, 2024 docker-joomla Public
Forked from joomla-docker/docker-joomlaDocker Images for Joomla!
Shell GNU General Public License v2.0 UpdatedOct 19, 2022 llvm-project Public
Forked from aWelker/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
UpdatedSep 15, 2022 pygments Public
Forked from pygments/pygmentsPygments is a generic syntax highlighter written in Python
Python BSD 2-Clause "Simplified" License UpdatedSep 14, 2022 joomla-cms Public
Forked from joomla/joomla-cmsHome of the Joomla! Content Management System
PHP GNU General Public License v2.0 UpdatedMay 24, 2021
{{ message }}