RaminHAL9001 / Dao

Related projects ⓘ

Alternatives and complementary repositories for Dao

• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• HIPERFIT / accelerate-opencl
  ☆35Updated 12 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆27Updated 4 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 6 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• haskell-github-trust / crypto-api
  Haskell generic interface (type classes) for cryptographic algorithms
  ☆28Updated 7 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 6 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated last week
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 6 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 9 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆24Updated 9 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆22Updated 4 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆27Updated 8 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆44Updated last year
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated last year
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated 3 months ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• yamadapc / yesod-servant-example
  Example of embedding Servant within a Yesod Application
  ☆15Updated 8 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 9 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 5 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• iconnect / api-tools
  A Haskell embedded DSL for generating an API's JSON wrappers and documentation.
  ☆34Updated 2 months ago