jakubfijalkowski / haskell-and-cpp

Related projects: ⓘ

• NCrashed / servant-auth-token
  Servant based API and server for token based authorisation
  ☆14Updated 5 years ago
• nomeata / ghcjs2gh-pages
  Example repository setup that deploys GHCJS programs to GitHub Pages
  ☆24Updated 5 years ago
• khumba / hoppy
  ☆25Updated this week
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated 3 months ago
• emilaxelsson / ho-rewriting
  A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
  ☆12Updated 5 years ago
• Bodigrim / mod
  Modular arithmetic, promoting moduli to the type level
  ☆24Updated 4 months ago
• twanvl / multiset
  multiset haskell package
  ☆19Updated 10 months ago
• Genetic-Strictness / Autobahn
  ☆18Updated 5 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated last month
• soenkehahn / generics-eot
  A library for generic programming that aims to be easy to understand
  ☆26Updated 2 years ago
• kosmikus / multirec
  ☆20Updated 3 years ago
• diagrams / geometry
  Haskell geometry library
  ☆17Updated 4 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 9 months ago
• nh2 / hackage-download
  Script to download all of Hackage
  ☆14Updated 5 years ago
• ElvishJerricco / servant-router
  ☆32Updated 6 years ago
• YPares / kernmantle
  ☆12Updated this week
• int-index / union
  Extensible type-safe unions for Haskell
  ☆31Updated last week
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆38Updated last year
• luite / hs15-talk
  Slides for my Haskell Symposium 2015 lighting talk
  ☆12Updated 9 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• alpmestan / servant-flatten
  "Flatten" servant API types
  ☆14Updated 6 years ago
• gelisam / cabal-rangefinder
  A tool to fill in the version ranges in a cabal file.
  ☆17Updated 9 years ago
• sarthakbagaria / has-sci
  A collection of computational methods in science.
  ☆12Updated 7 years ago
• matchwood / ghcjs-stack-dist
  ☆24Updated 5 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆71Updated 4 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆17Updated 9 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆24Updated 8 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆15Updated 2 years ago
• clash-lang / ghc-typelits-knownnat
  Derive KnownNat constraints from other KnownNat constraints
  ☆14Updated 3 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 3 months ago