refinery
Tactic framework
A framework for automating program synthesis through the creation of tactics
⛏️ A refinement proof framework for haskell
69 stars
7 watching
2 forks
Language: Haskell
last commit: over 2 years ago metaprogrammingproof-automationproof-refinement
Related projects:
| Repository | Description | Stars |
|---|---|---|
 transient-haskell/axiom | A client-server web framework that enables browser-side execution of Haskell code with server-side computations and data exchange through websockets. | 68 |
 haskellfoundation/tech-proposals | A platform for soliciting community input and feedback on technical initiatives for the Haskell programming language | 69 |
 opentoallctf/tips | A collection of tips and guides for learning and mastering various topics in reverse engineering and low-level programming. | 135 |
 jymcheong/autottp | Automated Tactics Techniques & Procedures platform to simplify scripting and automation of complex security testing and research workflows. | 251 |
 mtac2/mtac2 | A plugin for Coq that extends its proof assistant with a typed tactic language for backward reasoning. | 51 |
 typedbyte/hagato | A Haskell-based game development framework with modular sub-libraries for graphics, input, and other game-related functionality. | 66 |
 koromodako/mkctf | A CTF framework to create, build, deploy and monitor challenges | 107 |
 tfausak/flow | A Haskell package providing alternative operators to improve code readability | 200 |
 neohaskell/neohaskell | A Haskell-based tooling framework designed to enhance developer productivity and newcomer-friendliness. | 307 |
 chrispenner/firefly | A simple Haskell web framework for building lightweight servers with monad-based request handling. | 87 |
 asivitz/hickory | A game engine framework for Haskell that provides modular tools and utilities for building 3D interactive programs. | 67 |
 trailofbits/ctf | A comprehensive guide to Capture The Flag competitions, focusing on vulnerability discovery, exploit creation, and operational tradecraft. | 1,319 |
 asappresearch/flambe | An ML framework for accelerating research and its integration into production workflows | 264 |
 jepst/cloudhaskell | A distributed computing framework for building fault-tolerant and redundant applications | 347 |
 kaiyuanzh/flip | A framework for defending against backdoor attacks in federated learning systems | 48 |