nominolo / union-find

Related projects: ⓘ

• vincenthz / hs-memory
  haskell memory
  ☆47Updated last year
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 4 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆38Updated last year
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 5 months ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 9 months ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆19Updated last month
• ekmett / rounded
  MPFR bindings for Haskell
  ☆33Updated 11 months ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆70Updated 2 months ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆38Updated 2 months ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆38Updated 7 years ago
• andrejbauer / andromeda
  A minimalist implementation of type theory, suitable for experimentation
  ☆12Updated 4 years ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 3 months ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆71Updated 4 years ago
• haskell-suite / haskell-names
  Haskell suite library for name resolution
  ☆52Updated last year
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 5 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• ekmett / adjunctions
  Simple adjunctions
  ☆44Updated 11 months ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆23Updated last month
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated 7 months ago
• conal / circat
  A categorical framework for circuit construction
  ☆30Updated 7 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 3 months ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 6 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago