Feldspar / raw-feldspar

Related projects ⓘ

Alternatives and complementary repositories for raw-feldspar

• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆39Updated last year
• agrafix / superrecord
  Haskell: Supercharged anonymous records
  ☆83Updated 2 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆65Updated last week
• ghcjs / ghcjs-ffiqq
  QuasiQuoter for GHCJS JavaScript FFI
  ☆20Updated 8 years ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆60Updated 6 months ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆52Updated last year
• ElvishJerricco / servant-router
  ☆32Updated 6 years ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆34Updated 7 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 3 years ago
• gibiansky / ghc-reskin
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆39Updated 9 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• kcsongor / symbols
  Symbol manipulation
  ☆36Updated last year
• schell / varying
  Continuously varying values, made easy :)
  ☆40Updated 5 years ago
• yav / dump-core
  ☆45Updated 2 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 11 months ago
• valderman / ghc-simple
  Simplified interface to the GHC API
  ☆24Updated 5 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• sseefried / open-epidemic-game
  A game about exponential growth written in Haskell
  ☆31Updated 8 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 11 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 3 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆24Updated 8 years ago