☆10Jan 16, 2025Updated last year
Alternatives and similar repositories for talks
Users that are interested in talks are comparing it to the libraries listed below
Sorting:
- ☆21May 12, 2023Updated 2 years ago
- IT Risk Management tools☆14Apr 4, 2025Updated 10 months ago
- ☆15Jun 7, 2025Updated 8 months ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- SPI MITM for the Arty S7-50☆14Dec 24, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A simple Arduino Library to send message on Discord using webhook☆14Feb 25, 2025Updated last year
- ☆11Jan 31, 2017Updated 9 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Different Types of Pages in .NET MAUI☆10Nov 23, 2022Updated 3 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- This is a blog app created using the Flask web framework in Python for the backend and HTML/CSS & JavaScript for frontend. With this app,…☆10Jul 11, 2024Updated last year
- Minimal Rust web application ready to be deployed on a AWS EC2 instance.☆10Apr 4, 2022Updated 3 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Boost.Asio C++ Network Programming Cookbook by Dmytro Radchuk☆14May 14, 2017Updated 8 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- ☆17Feb 10, 2026Updated 2 weeks ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 11, 2026Updated 2 weeks ago
- ☆10Nov 17, 2025Updated 3 months ago
- Tool for creating a PDF document from markdown sources☆11Jul 3, 2020Updated 5 years ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- Codes sources du livre☆10Mar 13, 2019Updated 6 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated 3 weeks ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- A linter for Soufflé Datalog☆16Apr 1, 2024Updated last year
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- A catalog/overview of Python packages in the area of lab automation.☆14Nov 28, 2025Updated 2 months ago
- Labeler is a CLI tool to sync labels for a GitHub repository with templates.☆13Mar 12, 2023Updated 2 years ago
- ☆14Jun 15, 2022Updated 3 years ago