Homebrew formulae for formal methods
☆37Jul 28, 2025Updated 7 months ago
Alternatives and similar repositories for homebrew-formal
Users that are interested in homebrew-formal are comparing it to the libraries listed below
Sorting:
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 7 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories☆15Oct 18, 2025Updated 4 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 11 months ago
- ☆21Jan 24, 2022Updated 4 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- Hanoi Omega-Automata Format☆15Nov 20, 2022Updated 3 years ago
- Formalising session types in Coq☆18Sep 6, 2019Updated 6 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- ☆20Jun 12, 2023Updated 2 years ago
- Ltac2 tutorial☆47Nov 14, 2022Updated 3 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Nov 24, 2025Updated 3 months ago
- ☆29Jun 23, 2022Updated 3 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆37Mar 17, 2025Updated 11 months ago
- Mechanizations of Type Theories☆35Jan 15, 2026Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- Implementing grep in Agda☆33Jan 11, 2021Updated 5 years ago
- ☆43Nov 2, 2018Updated 7 years ago
- ☆10Sep 7, 2023Updated 2 years ago
- A comparison of various moving window median algorithms☆17Jun 4, 2011Updated 14 years ago
- jmp - search files and jump to matching lines in a text editor☆13Mar 14, 2021Updated 4 years ago
- [DEPRECATED] Template for setting up a Gardener landscape using landscape-setup☆16Mar 7, 2020Updated 6 years ago
- ☆10Apr 9, 2015Updated 10 years ago
- NTHU EE6550 Machine Learning Course Projects (include Maximum A Posteriori Estimation, Linear Regression, Neural Network Image Classifica…☆10Sep 7, 2025Updated 6 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- antifunext☆40Jun 27, 2024Updated last year
- A Tool for the Static Analysis of Cache Side Channels☆42Mar 5, 2017Updated 9 years ago
- apkg - package manager for Agda☆38Jul 17, 2021Updated 4 years ago
- A modular sat/smt solver with proof output.☆102Jan 8, 2024Updated 2 years ago
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022☆13Dec 2, 2022Updated 3 years ago
- move messages from one maildir to another☆12Sep 1, 2024Updated last year
- Rigorous computation of the endomorphism ring of a Jacobian☆11Jul 31, 2025Updated 7 months ago
- Source code for http://perl6.party website☆10Oct 31, 2018Updated 7 years ago
- ☆11Jul 1, 2025Updated 8 months ago