byorgey / MonadRandom
A monad transformer and corresponding type class for computations which consume random values.
☆31Updated last month
Related projects: ⓘ
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆19Updated last month
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- ☆44Updated 6 months ago
- ☆20Updated 5 years ago
- The most complete prelude formed only from the "base" package☆28Updated 11 months ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated 11 months ago
- Some useful control operators for looping☆47Updated 4 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- phantom types☆37Updated 6 months ago
- ☆23Updated 9 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated last month
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 10 months ago
- static analysis of free monads☆25Updated 6 years ago
- ☆23Updated 7 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Core modules for a blazing fast markup combinator library☆20Updated 2 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- ☆15Updated 8 months ago
- More strongly typed variant of the ixset Haskell package☆23Updated last month
- Simple reflection of expressions☆33Updated 3 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 4 months ago
- Invertible parsing for S-expressions☆33Updated this week
- haskell memory☆47Updated last year