Pinned Repositories
abella
An interactive theorem prover based on lambda-tree syntax
cadical
CaDiCaL SAT Solver
configuration
Configuration files I do not want to lose if anything happens to my computer
extensibella
A system for reasoning about extensible languages in a modular fashion
FightingTurtles
Python turtle graphics game where a turtle shoots and chases down another turtle.
lp-lrat
SAT solver unsatisfiability proof checker written in Lambda Prolog
mallob
Malleable Load Balancer. Multitasking Agile Logic Blackbox. Award-winning SAT solving for the cloud.
oplss-notes-2019
Notes and handouts from OPLSS 2019
public-examples
A place to hold examples for public links
sterling
A system for extensible languages defined using inference rules
RandomActsOfGrammar's Repositories
RandomActsOfGrammar/abella
An interactive theorem prover based on lambda-tree syntax
RandomActsOfGrammar/cadical
CaDiCaL SAT Solver
RandomActsOfGrammar/configuration
Configuration files I do not want to lose if anything happens to my computer
RandomActsOfGrammar/extensibella
A system for reasoning about extensible languages in a modular fashion
RandomActsOfGrammar/FightingTurtles
Python turtle graphics game where a turtle shoots and chases down another turtle.
RandomActsOfGrammar/lp-lrat
SAT solver unsatisfiability proof checker written in Lambda Prolog
RandomActsOfGrammar/mallob
Malleable Load Balancer. Multitasking Agile Logic Blackbox. Award-winning SAT solving for the cloud.
RandomActsOfGrammar/oplss-notes-2019
Notes and handouts from OPLSS 2019
RandomActsOfGrammar/public-examples
A place to hold examples for public links
RandomActsOfGrammar/sterling
A system for extensible languages defined using inference rules
RandomActsOfGrammar/Website-Sequence
A Chrome extension for going through a sequence of websites based on the days they update.