patrickt / bracer

Related projects ⓘ

Alternatives and complementary repositories for bracer

• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated 2 years ago
• robrix / surface
  Dependently-typed language w/ little to say for itself
  ☆10Updated 6 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆47Updated 8 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆62Updated 2 years ago
• mainland / language-c-quote
  ☆58Updated 4 months ago
• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 7 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 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
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 8 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated last year
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 14 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago
• GaloisInc / halvm-web
  ☆15Updated 7 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• benclifford / acme-smuggler
  Smuggle arbitrary values in ()
  ☆12Updated last year
• hspec / hspec-expectations
  Catchy combinators for HUnit
  ☆34Updated last year
• dkubb / haskell-builder
  A docker container for compiling statically linked binaries written in Haskell
  ☆26Updated 9 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago