puffnfresh / sonic2
Sonic the Hedgehog 2 in Haskell
☆67Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for sonic2
- ♾️ Sized list☆46Updated 6 months ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Retry combinators for monadic actions that may fail☆112Updated last year
- Example of usage polysemy and servant☆56Updated 5 years ago
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- Haskell Webapps on AWS Lambda☆44Updated last year
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 4 years ago
- A quasiquoter for neat and simple multiline text interpolation☆55Updated last year
- Evaluation-orthogonal serialisation of Haskell data, as a library☆59Updated 5 years ago
- A test framework for Idris☆56Updated 5 years ago
- Refined types☆58Updated 6 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Notes on space leaks☆101Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- type level sets☆67Updated 5 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆70Updated last month
- Yet another yet another recursion scheme library in Haskell.☆87Updated last month
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆68Updated last month
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 4 years ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- A Haskell library for open records and variants using closed type families and type literals☆111Updated 2 years ago
- 📚 A softer alternative to Haddock☆104Updated 4 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 3 years ago