awakesecurity / spectacle
Embedded specification language & model checker in Haskell
☆175Updated last year
Related projects ⓘ
Alternatives and complementary repositories for spectacle
- Visualiser for Haskell (GHC) prof files☆193Updated last year
- Test monadic programs using state machine based models☆203Updated 3 years ago
- Extensional capabilities and deriving combinators☆213Updated 4 months ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆201Updated 7 months ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆108Updated 3 years ago
- GRIN backend for GHC☆143Updated 3 years ago
- A friendly effect system for Haskell☆228Updated 6 months ago
- A modern, extensible and well-documented prettyprinter.☆295Updated 2 weeks ago
- Fake dependent types in Haskell using singletons☆287Updated 3 weeks ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- An implementation of Pie in Haskell☆204Updated 5 years ago
- SPLV20 course notes☆106Updated 2 years ago
- Systematic concurrency testing meets Haskell.☆195Updated last month
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆166Updated last year
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Validity and validity-based testing☆156Updated last month
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Prelude written in @Serokell☆177Updated last month
- A Haskell library for open records and variants using closed type families and type literals☆111Updated 2 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated 2 months ago
- Optics as an abstract interface☆375Updated 3 months ago
- Equational laws for free☆250Updated 8 months ago
- Text lenses using PCRE regexes☆126Updated 4 years ago
- GHC Whole Program Compiler and External STG IR tooling☆116Updated last week
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Inspection Testing for Haskell☆173Updated last month
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆211Updated 2 weeks ago
- Standard library for linear types in Haskell.☆336Updated 2 weeks ago
- ⚡️Efficient implementation of Map with types as keys☆100Updated 10 months ago