serokell / cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
☆12Updated 4 years ago
Related projects: ⓘ
- Simple Structured logger☆14Updated last year
- ☆33Updated 4 months ago
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆20Updated last year
- only in name☆17Updated 4 years ago
- ☆24Updated 5 years ago
- Experimental tool to build reports on GHC build time for your projects.☆24Updated last year
- 📤 defer instance resolution until runtime☆18Updated 4 years ago
- Servant based API and server for token based authorisation☆14Updated 5 years ago
- haskell library to parse commandline args - an alternative to optparse-applicative☆19Updated last year
- Small example of reflex-dom with build scripts for Android and IOS☆13Updated 4 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- Snakes game demo.☆16Updated 7 years ago
- This might one day be a thesis project☆11Updated last year
- Proposals for the Haskell Ecosystem☆51Updated 5 years ago
- Helper package for working with SVG in Reflex☆21Updated last year
- Pure basic library based on math abstractions☆9Updated 2 years ago
- Haskell implementation of the server-side verifier for Web Authentication API☆15Updated 2 years ago
- ☆31Updated 6 months ago
- Type-safe time units in Haskell☆49Updated 8 months ago
- A servant client written for GHCJS☆12Updated 7 years ago
- Sort any Traversable container☆42Updated 2 years ago
- A tool to fill in the version ranges in a cabal file.☆17Updated 9 years ago
- Proposed changes to Haskell Core Libraries☆19Updated 4 years ago
- A minimal host for sdl2 based reflex apps.☆27Updated last month
- ☆19Updated 4 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 2 years ago
- Modular arithmetic, promoting moduli to the type level☆24Updated 4 months ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated last year
- Higher level support for implementing reflex frameworks☆30Updated 4 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆12Updated 9 years ago