Alternatives and similar repositories for roshask

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

• LumiGuide / haskell-opencv
  Haskell binding to OpenCV-3.x
  ☆155Updated last year
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 9 years ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆272Updated 8 years ago
• abarbu / matplotlib-haskell
  Haskell bindings for Python's Matplotlib
  ☆85Updated last year
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆150Updated 6 years ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆208Updated last week
• well-typed / cborg
  Binary serialisation in the CBOR format
  ☆200Updated last month
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆207Updated 6 years ago
• wavewave / fficxx
  Haskell-C++ Foreign Function Interface Generator
  ☆143Updated last year
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 3 years ago
• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 8 years ago
• schell / steeloverseer
  A file watcher and development tool.
  ☆130Updated 7 months ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆454Updated last year
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆370Updated 2 years ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆254Updated this week
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆165Updated last month
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆281Updated 4 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆111Updated 6 years ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆419Updated 6 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆81Updated 11 months ago
• simonmar / monad-par
  ☆125Updated last year
• takenobu-hs / haskell-ghc-illustrated
  haskell ghc-illustrated
  ☆260Updated 4 years ago
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆315Updated 7 years ago
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆182Updated 11 months ago
• fbsamples / ghc-hotswap
  Example code for how we swap compiled code within a running Haskell process.
  ☆172Updated 6 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆347Updated 6 months ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated last year
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago