puffnfresh / sonic2
Sonic the Hedgehog 2 in Haskell
☆67Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for sonic2
- ♾️ Sized list☆46Updated 5 months ago
- Generic Programming using True Sums of Products☆157Updated 5 months ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Comma (and other) separated values☆77Updated last year
- Haskell Webapps on AWS Lambda☆44Updated last year
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆105Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- 📚 A softer alternative to Haddock☆104Updated 4 years ago
- Experimental, user-contributed effects and interpreters for polysemy☆70Updated last year
- A magic typeclass that just does it☆124Updated 2 years ago
- Refined types☆58Updated 6 years ago
- A quasiquoter for neat and simple multiline text interpolation☆55Updated last year
- An example of an "isomorphic" Miso server set up with stack☆44Updated 4 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆65Updated 6 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆70Updated 3 weeks ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 4 years ago
- Retry combinators for monadic actions that may fail☆112Updated last year
- Describe Haskell code in GHCi☆72Updated 7 years ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated 2 weeks ago
- 🧠 Type-safe memory units☆62Updated 4 years ago
- Typed filepath☆123Updated 3 weeks ago
- A work stealing scheduler☆76Updated last year
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- A convenient DSL for describing web routes☆43Updated 3 years ago
- Check properties on standard classes and data structures☆79Updated 10 months ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated 3 months ago
- Dual Traversable☆41Updated last year