ollef / braces-be-goneLinks
Get those pesky braces out of your face
☆49Updated 8 years ago
Alternatives and similar repositories for braces-be-gone
Users that are interested in braces-be-gone are comparing it to the libraries listed below
Sorting:
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- ☆41Updated 8 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- QuickCheck extras.☆29Updated 6 years ago
- ☆23Updated 7 years ago
- Dhall helpers for github actions☆54Updated 2 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 12 years ago
- A natural transformation package☆16Updated 8 months ago
- Isometric rendering for PureScript☆58Updated 5 years ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- A game about exponential growth written in Haskell☆31Updated 9 years ago
- Reproducible builds for PureScript☆73Updated 7 years ago
- Catchy combinators for HUnit☆36Updated 7 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- git protocol and storage in pure haskell☆66Updated 3 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- A wrapper for Node's HTTP APIs☆40Updated 2 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- λtext - higher-order file applicator☆36Updated last year
- Self-describing consumers/parsers☆43Updated 7 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- A magic typeclass that just does it☆125Updated 3 years ago