serokell / cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
☆12Updated 4 years ago
Alternatives and similar repositories for cardano-sl:
Users that are interested in cardano-sl are comparing it to the libraries listed below
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆22Updated last year
- Modular arithmetic, promoting moduli to the type level☆24Updated this week
- Simple Structured logger☆14Updated 2 years ago
- Experimental tool to build reports on GHC build time for your projects.☆24Updated 2 years ago
- ☆33Updated 8 months ago
- 📤 defer instance resolution until runtime☆18Updated 5 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆12Updated 9 years ago
- ☆35Updated this week
- This might one day be a thesis project☆11Updated 2 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated last year
- A tool to fill in the version ranges in a cabal file.☆17Updated 9 years ago
- Monadic capabilities with late binding☆27Updated last year
- An implementation of the 7GUIs in reflex-dom☆17Updated 8 years ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- ☆24Updated 6 years ago
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- Small example of reflex-dom with build scripts for Android and IOS☆13Updated 5 years ago
- ☆10Updated 3 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆11Updated 7 years ago
- Run cabal inside nix-shell☆14Updated 5 years ago
- A minimal host for sdl2 based reflex apps.☆28Updated 4 months ago
- Proposed changes to Haskell Core Libraries☆19Updated 4 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- JSaddle integration for the GHC Wasm backend☆15Updated 2 weeks ago
- Haskell implementation of the server-side verifier for Web Authentication API☆15Updated 3 years ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- ☆11Updated 5 years ago
- Helper package for working with SVG in Reflex☆21Updated last year
- Nested client-side routing for Reflex-DOM☆11Updated 2 years ago