An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.
☆17Feb 3, 2024Updated 2 years ago
Alternatives and similar repositories for lazyslate
Users that are interested in lazyslate are comparing it to the libraries listed below
Sorting:
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- K* search based implementation of top-k and top-quality planners☆19Feb 21, 2026Updated last week
- The Slate Interactive Theorem Prover☆23Jan 9, 2023Updated 3 years ago
- Repository for the HackRPI 11 Event Mobile App☆12Apr 25, 2024Updated last year
- Project Gold ✨☆11Jan 29, 2026Updated last month
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Aug 5, 2025Updated 6 months ago
- Curated from repositories that make our lives as geoscientists, hackers and data wranglers easier or just more awesome☆13Oct 19, 2024Updated last year
- Script to retrieve the vertices and faces from a GOCAD TS file for use in python processing☆11Apr 16, 2021Updated 4 years ago
- A textbook centered around teaching mathematics to physicists and chemists☆12Feb 10, 2022Updated 4 years ago
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆12Dec 2, 2023Updated 2 years ago
- COM runtime support for SharpGen generated interop code.☆13Sep 9, 2021Updated 4 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- ☆10Aug 8, 2024Updated last year
- ☆11Apr 1, 2024Updated last year
- Tailscale System(d) (bootable) container for use with Podman Machine, Podman Desktop, MicroShift and OpenShift Local installations☆12Dec 30, 2024Updated last year
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- A Rust library for Dota 2's Game State Integration.☆15Jan 15, 2026Updated last month
- Java stream library☆10Aug 3, 2024Updated last year
- ☆11Mar 31, 2023Updated 2 years ago
- Transliteration library for Scala and Scala.js☆11Sep 26, 2020Updated 5 years ago
- Browser Application that produces a list of most straddle combinations on SPY for the next x weeks/months☆13Oct 24, 2025Updated 4 months ago
- Native Jai port of the ENet Reliable UDP networking library☆12Feb 24, 2024Updated 2 years ago
- ☆11May 26, 2022Updated 3 years ago
- Looking at the problems associated with geoscience datasets for data science☆14Aug 18, 2023Updated 2 years ago
- 💬 Tooltips with just CSS ~1kb☆12Sep 12, 2024Updated last year
- Slides and some other stuff for my public talks☆11Nov 1, 2021Updated 4 years ago
- An EC2 setup running Jenkins.☆15Nov 26, 2018Updated 7 years ago
- A script to check metalink contents☆13Feb 14, 2020Updated 6 years ago
- ☆18Aug 19, 2024Updated last year
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- A framework that allows to use SignalR easy, following the strict contracts out of box.☆11Jun 25, 2025Updated 8 months ago
- Financial data and computation for Finec MGIMO students.☆13Mar 16, 2023Updated 2 years ago
- ☆11Apr 14, 2023Updated 2 years ago
- accelerate your knowledge of LaTeX☆16Feb 28, 2025Updated last year
- My NixOS configuration & dotfiles. Flakes, multi-host, multi-user, Hyprland.☆17Updated this week
- A Windows optimization tool that automatically runs in the background of your device to routinely clean up Junk & improve performance, wi…☆12Nov 28, 2023Updated 2 years ago
- klepp backend☆14Dec 27, 2025Updated 2 months ago
- Paths, trajectories, splines, the number 2, and a whole lot of swag.☆13Mar 18, 2023Updated 2 years ago
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Dec 5, 2017Updated 8 years ago