Ericson2314 / lighthouse

Related projects: ⓘ

• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated 7 months ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆82Updated 9 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 7 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 8 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• dmbarbour / haskell-vcache
  ☆79Updated this week
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 5 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆77Updated 9 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• associahedron / HoTT-Idris
  ☆63Updated this week
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆42Updated 8 years ago
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 2 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 2 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 4 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆71Updated 4 years ago
• chrisdone / prana
  Interpreter for GHC Haskell
  ☆22Updated 4 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆66Updated 10 months ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆93Updated 7 months ago
• jberryman / unagi-chan
  A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
  ☆127Updated 2 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated 2 months ago
• michaelt / tagless
  oleg modules
  ☆30Updated 11 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆87Updated 2 years ago
• k00mi / mqtt-hs
  A Haskell MQTT client library.
  ☆23Updated 4 years ago
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆67Updated 6 years ago