liamoc / wizards

Related projects ⓘ

Alternatives and complementary repositories for wizards

• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated 3 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 2 weeks ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated 2 months ago
• deech / LeftPad
  ☆23Updated 6 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆34Updated 4 years ago
• hanshoglund / iso-deriving
  Derive instances through isomorphisms
  ☆20Updated 5 months ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 2 months ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated 5 months ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• ocharles / hlint-source-plugin
  Run HLint as part of normal compilation
  ☆47Updated 6 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆38Updated last year
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• expipiplus1 / vector-sized
  ☆33Updated last month
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆47Updated 2 months ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• obsidiansystems / rhyolite
  ☆26Updated 2 weeks ago
• ekmett / intern
  Hash consing for arbitrary Haskell data types
  ☆25Updated 4 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated 11 months ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 2 months ago
• brendanhay / credentials
  Management and Distribution of Secret Credentials
  ☆24Updated 7 years ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated last year
• nikita-volkov / base-prelude
  The most complete prelude formed only from the "base" package
  ☆28Updated last year
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆54Updated 11 months ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago