SAT Live! web site
☆11Feb 11, 2026Updated 3 weeks ago
Alternatives and similar repositories for website
Users that are interested in website are comparing it to the libraries listed below
Sorting:
- The documentation toolchain for Scylla projects.☆13Updated this week
- Scala Improvement Process☆14Aug 21, 2016Updated 9 years ago
- Slurm job script archival☆12Feb 26, 2026Updated last week
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago
- Python scripts to download course videos off CDEEP☆12Oct 20, 2015Updated 10 years ago
- Aggregation of SymPy related blogs☆15Feb 23, 2026Updated last week
- Data Aggregation System (DAS) Go client☆10Jul 26, 2024Updated last year
- Interface for defining and solving SAT problems in Rust☆14Sep 1, 2016Updated 9 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- A terminal-based Youtube song search and downloader using youtube-dl☆11Mar 13, 2017Updated 8 years ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 2 months ago
- Action to check that PRs have changed certain files☆13Feb 25, 2026Updated last week
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆19Updated this week
- A “Hello World” of calling Rust code from a Python program with CFFI, in order to show packaging issues☆12Jul 14, 2016Updated 9 years ago
- Bumps package versions☆16Jan 21, 2026Updated last month
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- The DRAT-trim proof checker☆68Nov 25, 2024Updated last year
- Plain-text declaration export for Lean 4☆26Updated this week
- A Python/PHP powered Web App to download YouTube videos with all the metadata (ID3 Tags)☆14Jul 12, 2016Updated 9 years ago
- /x/pel/e/r/mus☆15May 10, 2016Updated 9 years ago
- Lennard Jones in Lean☆21Jul 14, 2025Updated 7 months ago
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆18Jun 4, 2025Updated 9 months ago
- wearablecompute is an open source Python package containing over 50 data and domain-driven features that can be computed from wearables a…☆20Dec 23, 2020Updated 5 years ago
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 3 years ago
- The Good Docs Project website☆18Apr 21, 2021Updated 4 years ago
- RepNet command line interface (https://sites.google.com/view/repnet)☆22Aug 8, 2020Updated 5 years ago
- ☆17May 10, 2017Updated 8 years ago
- This repository was originally intended to be a successor to d2to1, but it is now long obsolete since PEP 518, modern setuptools, etc.☆21Dec 27, 2014Updated 11 years ago
- A Java program synthesizer.☆22Mar 28, 2019Updated 6 years ago
- PyTorch implementation for "Zero Shot Learning for Code Education: Rubric Sampling with Deep Learning Inference" (https://arxiv.org/abs/1…☆20Dec 29, 2018Updated 7 years ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated 8 months ago
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- Hartree Fock solver☆26Apr 1, 2018Updated 7 years ago
- The probSAT SAT Solver☆26Oct 21, 2022Updated 3 years ago
- Haskell bindings to SymEngine☆27Aug 17, 2023Updated 2 years ago
- Type Checking in Lean 4☆34Feb 19, 2026Updated 2 weeks ago
- An efficient, embeddable DPLL SAT solver in Haskell☆37Jul 2, 2015Updated 10 years ago
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆25Jan 23, 2026Updated last month
- TriCera: a model checker for C programs☆26Updated this week