liamoc / wizards

Related projects ⓘ

Alternatives and complementary repositories for wizards

• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 weeks ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• brendanhay / credentials
  Management and Distribution of Secret Credentials
  ☆24Updated 7 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆34Updated 4 years ago
• DanielG / cabal-helper
  Give Haskell development tools access to Cabal project environment.
  ☆24Updated 3 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• ocharles / hlint-source-plugin
  Run HLint as part of normal compilation
  ☆47Updated 6 years ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated 5 months ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆38Updated last year
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 2 weeks ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated this week
• imalsogreg / dhallia
  Dhall-configured inductive API definitions
  ☆24Updated 4 years ago
• helix-collective / terraform-hs
  A Haskell ADL to generate terraform files.
  ☆17Updated 4 years ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆31Updated 9 months ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• lspitzner / multistate
  haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type
  ☆17Updated 2 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• phadej / tdigest
  On-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆30Updated 4 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆29Updated 3 weeks ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 months ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year