ollef / braces-be-gone

Related projects: ⓘ

• roelvandijk / base-unicode-symbols
  Unicode alternatives for common functions and operators
  ☆36Updated 2 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆90Updated 6 years ago
• donkeybonks / burrito
  ☆25Updated this week
• chrisdone / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated 4 months ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 10 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 6 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆27Updated 4 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆29Updated 6 years ago
• cruxlang / crux
  Crux Programming Language
  ☆51Updated 2 years ago
• tranma / shitty-complexity
  complexity testing for haskell
  ☆47Updated 8 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 6 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• hspec / hspec-expectations
  Catchy combinators for HUnit
  ☆33Updated last year
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated last year
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆43Updated this week
• soenkehahn / getopt-generics
  Create command line interfaces with ease
  ☆41Updated last year
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 5 years ago
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 4 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆69Updated 6 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago