refinery
by TOTBWF
⛏️ A refinement proof framework for haskell
AI summary
Tactic framework
A framework for automating program synthesis through the creation of tactics
- stars
- 69
- forks
- 2
- watching
- 7
Similar projects
Found by comparing what the projects do, not just their names.
Web framework
A client-server web framework that enables browser-side execution of Haskell code with server-side computations and data exchange through websockets.
Tech proposal forum
A platform for soliciting community input and feedback on technical initiatives for the Haskell programming language
Reverse Engineering Guide
A collection of tips and guides for learning and mastering various topics in reverse engineering and low-level programming.
Security testing framework
Automated Tactics Techniques & Procedures platform to simplify scripting and automation of complex security testing and research workflows.
Tactic language
A plugin for Coq that extends its proof assistant with a typed tactic language for backward reasoning.
Game dev framework
A Haskell-based game development framework with modular sub-libraries for graphics, input, and other game-related functionality.
CTF toolset
A CTF framework to create, build, deploy and monitor challenges
tfausak/flow200
Code readability enhancer
A Haskell package providing alternative operators to improve code readability
Dev productivity framework
A Haskell-based tooling framework designed to enhance developer productivity and newcomer-friendliness.
Web framework
A simple Haskell web framework for building lightweight servers with monad-based request handling.
Game Engine Framework
A game engine framework for Haskell that provides modular tools and utilities for building 3D interactive programs.
trailofbits/ctf1.3K
CTF Guide
A comprehensive guide to Capture The Flag competitions, focusing on vulnerability discovery, exploit creation, and operational tradecraft.
Research framework
An ML framework for accelerating research and its integration into production workflows
Distributed framework
A distributed computing framework for building fault-tolerant and redundant applications
Backdoor defense framework
A framework for defending against backdoor attacks in federated learning systems
