- Boston
-
-
formulog-fork Public
Forked from HarvardPL/formulogDatalog with support for SMT queries
Java Apache License 2.0 UpdatedOct 29, 2024 -
making-formulog-fast Public
Artifact for "Making Formulog Fast"
Jupyter Notebook Apache License 2.0 UpdatedOct 10, 2024 -
souffle Public
Forked from souffle-lang/souffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
C++ Universal Permissive License v1.0 UpdatedJul 4, 2024 -
verified-auto-enclave Public
Verified automatic placement of Intel SGX-like enclaves that provides provable security against low-level attackers.
-
cs260r-17 Public
Forked from readablesystems/cs260r-17Main repository for Harvard CS260r 2017.
Coq UpdatedMar 30, 2017 -
-