Alternatives and similar repositories for bracer

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

• robrix / surface
  Dependently-typed language w/ little to say for itself
  ☆10Updated 7 years ago
• mainland / language-c-quote
  ☆59Updated 11 months ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• GaloisInc / halvm-web
  ☆15Updated 8 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• deech / LeftPad
  ☆23Updated 7 years 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
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆76Updated last year
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 9 years ago
• agda-attic / agda-system-io
  Bindings to Haskell's IO monad which respect Agda's semantics
  ☆24Updated 6 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• Happstack / happstack-foundation
  ☆8Updated 3 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 8 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 7 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆21Updated 8 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• jbclements / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆24Updated 10 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 3 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• mxswd / editable
  Derive editors for data types.
  ☆28Updated 10 years ago