RaminHAL9001 / Dao

Related projects ⓘ

Alternatives and complementary repositories for Dao

• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated 3 months ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆35Updated last year
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 3 weeks ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 7 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 6 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆27Updated 8 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 6 years ago
• stepcut / hyperdrive
  A fast, low-level HTTP server you can trust
  ☆47Updated 6 years ago
• Mattiemus / LaneWars
  A MOBA written using Haskell, Yampa, and SDL
  ☆24Updated 9 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆51Updated 6 months ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 6 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆62Updated 2 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• fpco / schoolofhaskell
  ☆34Updated 8 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago