mht208 / homebrew-formalView external linksLinks
Homebrew formulae for formal methods
☆37Jul 28, 2025Updated 6 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 6 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 3 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 10 months ago
- ☆21Jan 24, 2022Updated 4 years ago
- Formalising session types in Coq☆17Sep 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
- Distributions of Agda executable compiled into WebAssembly.☆25Nov 9, 2025Updated 3 months ago
- Ltac2 tutorial☆46Nov 14, 2022Updated 3 years 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 2 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆37Mar 17, 2025Updated 10 months ago
- Mechanizations of Type Theories☆33Jan 15, 2026Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- ☆10Sep 7, 2023Updated 2 years ago
- ☆42Nov 2, 2018Updated 7 years ago
- Implementing grep in Agda☆33Jan 11, 2021Updated 5 years ago
- SRI Sally: A model checker for infinite-state systems.☆76Jul 31, 2025Updated 6 months ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- jmp - search files and jump to matching lines in a text editor☆13Mar 14, 2021Updated 4 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- NTHU EE6550 Machine Learning Course Projects (include Maximum A Posteriori Estimation, Linear Regression, Neural Network Image Classifica…☆10Sep 7, 2025Updated 5 months ago
- antifunext☆38Jun 27, 2024Updated last year
- MNSIM version 1.1. We have uploaded a high-level modeling tool and please use this version: https://github.com/Zhu-Zhenhua/MNSIM_Python☆12Dec 12, 2019Updated 6 years ago
- ☆10Apr 9, 2015Updated 10 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Mar 5, 2017Updated 8 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆44Oct 28, 2024Updated last year
- A modular sat/smt solver with proof output.☆102Jan 8, 2024Updated 2 years ago
- OS X kernel extension for reading MSRs (Model Specific Registers)☆12Sep 27, 2016Updated 9 years ago
- Source code for http://perl6.party website☆10Oct 31, 2018Updated 7 years ago
- AI Powered Devtools Extension☆18Jan 8, 2024Updated 2 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- ☆10Feb 20, 2020Updated 5 years ago
- coffee stains package for latex☆12Dec 7, 2020Updated 5 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago