dfinity-side-projects / winter
Haskell port of the WebAssembly OCaml reference interpreter
☆46Updated last year
Related projects: ⓘ
- Quasiquoter for LLVM☆31Updated 6 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 2 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 4 months ago
- ☆41Updated 6 years ago
- Kleene algebra, regular expressions☆32Updated 10 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Dual Traversable☆41Updated last year
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 4 months ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated last month
- Zippers based on lenses and traversals☆38Updated last year
- Safe web routing in haskell☆30Updated last year
- static analysis of free monads☆25Updated 6 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Yet another concurrent playground☆32Updated 8 years ago
- Game NetCode Solved☆23Updated 3 years ago
- GHC prof manipulation script☆30Updated 7 months ago
- OTP-like supervision trees in Haskell☆63Updated 5 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Keep your laziness in check!☆32Updated 2 years ago
- An experiment in functional interface design☆23Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- ☆33Updated this week
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Easy bidirectional serialization in Haskell☆50Updated 5 years ago