☆11Sep 7, 2025Updated 5 months ago
Alternatives and similar repositories for AML-Formalization
Users that are interested in AML-Formalization are comparing it to the libraries listed below
Sorting:
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- ☆15Apr 16, 2021Updated 4 years ago
- Scalus Starter project☆11Feb 16, 2026Updated 2 weeks ago
- ☆18Mar 1, 2025Updated last year
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Oct 25, 2022Updated 3 years ago
- Development of the CafeOBJ interpreter☆40Nov 18, 2024Updated last year
- Binary analysis in HOL☆46Feb 13, 2026Updated 2 weeks ago
- ☆13Updated this week
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 9 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Script to display Markdown documents as static HTML pages☆10Apr 20, 2025Updated 10 months ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- feliz react template: using F# , fable vite plugin, vite and vitest, an alternative to typescript?☆10Jun 27, 2025Updated 8 months ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- This project aims to implement the 21 most common blockchain use cases for Cardano☆27Feb 11, 2026Updated 2 weeks ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- ☆26Feb 25, 2026Updated last week
- Haskell support☆14Feb 9, 2026Updated 3 weeks ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆17Updated this week
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- ☆11Sep 1, 2020Updated 5 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Oct 25, 2023Updated 2 years ago
- Proof artifact co-training for Lean☆45Dec 29, 2022Updated 3 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- This project aims to visualize test cases written in Erlang in a graphical finite state machine representation. The aim is to visually ev…☆16Sep 12, 2016Updated 9 years ago
- Annotator.js plugin for creating and displaying annotations in the margin of a page☆11Jul 20, 2017Updated 8 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last week
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- purerl bindings to basic Erlang process functionality☆13Aug 31, 2022Updated 3 years ago