Alternatives and similar repositories for bracer:

Users that are interested in bracer are comparing it to the libraries listed below

• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• robrix / surface
  Dependently-typed language w/ little to say for itself
  ☆10Updated 7 years ago
• mainland / language-c-quote
  ☆58Updated 9 months ago
• cruxlang / crux
  Crux Programming Language
  ☆52Updated 2 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago
• GaloisInc / halvm-web
  ☆15Updated 7 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• UnkindPartition / bert
  Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)
  ☆21Updated 9 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 5 years ago
• mchakravarty / language-c-inline
  Inline C & Objective-C in Haskell
  ☆146Updated 7 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆48Updated 9 years ago
• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 7 years ago
• Happstack / happstack-foundation
  ☆8Updated 2 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 9 years ago
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆76Updated 11 months ago
• valpackett / hs-duktape
  Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape
  ☆23Updated 2 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆63Updated 2 years ago
• google / clang-lens
  ☆20Updated 9 years ago