mwillsey / crossbotLinks
A slackbot to compete on mini crosswords (or any other daily challenge).
☆17Updated 3 years ago
Alternatives and similar repositories for crossbot
Users that are interested in crossbot are comparing it to the libraries listed below
Sorting:
- Program Synthesis Course☆265Updated last year
- Race Condition Running☆11Updated 2 weeks ago
- Optimizing Synthesis with Metasketches, POPL 2016☆24Updated 9 years ago
- Program Synthesis☆146Updated 4 years ago
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- ☆42Updated 8 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 10 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 4 months ago
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 5 months ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆683Updated 2 months ago
- A simulator for strategies of a well-known cooperative card game.☆15Updated 9 years ago
- MonoSAT - An SMT solver for Monotonic Theories☆116Updated 10 months ago
- An automated deductive program verifier.☆43Updated 2 years ago
- The collection synthesizer☆210Updated 5 years ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- Resources for people running research groups.☆205Updated 8 years ago
- ☆40Updated 6 years ago
- WASM builds of the Z3 SMT solver☆151Updated 5 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 5 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- A LaTeX package for proof carrying papers☆24Updated 9 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- probabilistic programming for PL folks☆160Updated 4 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- CourseRoad is a four-year academic planner for undergraduates.☆61Updated 6 years ago