mwillsey / crossbotLinks
A slackbot to compete on mini crosswords (or any other daily challenge).
☆16Updated 3 years ago
Alternatives and similar repositories for crossbot
Users that are interested in crossbot are comparing it to the libraries listed below
Sorting:
- Race Condition Running☆11Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- Program Synthesis Course☆254Updated last year
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- Beautiful, interactive visualizations of logical inference☆148Updated 4 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- ☆233Updated 10 months ago
- A LaTeX package for proof carrying papers☆24Updated 8 years ago
- MonoSAT - An SMT solver for Monotonic Theories☆113Updated 2 months ago
- An automated deductive program verifier.☆42Updated 2 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 7 months ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated 4 months ago
- My personal repository of formally verified mathematics.☆299Updated 2 months ago
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- Geometry types☆30Updated 4 years ago
- WASM builds of the Z3 SMT solver☆145Updated 5 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Exact Inference Engine for Probabilistic Programs☆132Updated 2 months ago
- Rust library for program synthesis of string transformations from input-output examples 🔮☆27Updated 4 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆228Updated last month
- Computer players for a collaborative card game☆25Updated 6 years ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆131Updated 5 months ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- An autograder and grade database for GitHub-based courses☆18Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆152Updated 2 months ago
- ☆40Updated 6 years ago