killburne / custom-duelingbook
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for custom-duelingbook
- Type-level descriptions of composable transformations for use with DerivingVia☆10Updated 6 years ago
- Minimalistic Haskell pretty-printing library☆9Updated 3 years ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- Slices of ByteArray and MutableByteArray☆12Updated 8 months ago
- Convert regular expressions into efficient matrix branching programs☆11Updated 7 years ago
- ☆9Updated 2 weeks ago
- sliding fast fourier transform using haskell streaming☆13Updated 5 years ago
- A package which exists solely to try and give the user a cute girl. Executable and library are both available.☆10Updated 6 years ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆18Updated last month
- Yu-Gi-Oh! simulator☆10Updated 4 years ago
- Lex, parse and pretty print HTML as Miso View syntax☆10Updated 4 years ago
- A formally verified implementation of differential dynamic logic in Coq☆12Updated 2 years ago
- Haskell 2010 stream comonads☆22Updated last week
- Programmatically create new instances using core-to-core plugins☆12Updated 3 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆13Updated 4 years ago
- integrates several data analysis libraries into a single project with ihaskell frontend☆15Updated 6 years ago
- Typeclass for array types☆19Updated 6 months ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Updated 7 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- Finitely represented /total/ maps☆15Updated 4 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10Updated 7 years ago
- ☆12Updated 6 years ago
- Deriving Semigroup and Monoid instances for your product types☆11Updated 2 months ago
- Synthetic Differential Geometry in Agda☆12Updated 9 years ago
- A general abstraction for manipulating elements of container data structures☆11Updated last year
- GHC patched with the -fcompact-holes flag☆11Updated 5 years ago
- Simple form abstractions and validation for Reflex-DOM applications☆10Updated 6 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆15Updated 4 years ago
- Boring and Absurd types☆17Updated 5 months ago