Pinned Repositories
counting-benchmarks
A collection of model counting (#SAT) benchmarks.
glulx-llvm
An experimental LLVM backend for the Glulx VM, and associated tools.
hypothesis-cfg
Generate random elements of a language defined by a context free grammar.
llvm-project
This fork of LLVM contains an experimental backend for the Glulx VM in the "glulx" branch. For more information, see the link below.
maxcount
An approximate Max#SAT solver.
py-metric-temporal-logic
Python library for working with Metric Temporal Logic (MTL)
rci
Reactive control improvisation implementation.
sphinx
Main repository for the Sphinx documentation builder
typing_extensions
Backported and experimental type hints for Python
VerifAI
dfremont's Repositories
dfremont/glulx-llvm
An experimental LLVM backend for the Glulx VM, and associated tools.
dfremont/counting-benchmarks
A collection of model counting (#SAT) benchmarks.
dfremont/maxcount
An approximate Max#SAT solver.
dfremont/hypothesis-cfg
Generate random elements of a language defined by a context free grammar.
dfremont/llvm-project
This fork of LLVM contains an experimental backend for the Glulx VM in the "glulx" branch. For more information, see the link below.
dfremont/py-metric-temporal-logic
Python library for working with Metric Temporal Logic (MTL)
dfremont/rci
Reactive control improvisation implementation.
dfremont/sphinx
Main repository for the Sphinx documentation builder
dfremont/typing_extensions
Backported and experimental type hints for Python
dfremont/VerifAI
dfremont/VerifiedAIWebsite