cbeav / symspell

Related projects: ⓘ

• snowleopard / stroll
  Stroll: an experimental build system
  ☆37Updated last year
• BobMcDear / minbpe-hs
  Byte-level byte pair encoding (BPE) in Haskell
  ☆11Updated 3 months ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆38Updated last year
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆42Updated 3 years ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• emiruz / data-analysis-with-x
  Short data science / analysis projects in a variety of programming languages
  ☆10Updated 5 months ago
• pavelchristof / syntax
  Reversible parsing and pretty-printing.
  ☆14Updated 9 years ago
• srid / ema-template
  Template repo for Ema static site generator
  ☆28Updated 3 weeks ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 3 months ago
• obsidiansystems / rhyolite
  ☆26Updated 3 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• kowainik / awesome-haskell-sponsorship
  💝 Haskell profiles to sponsor
  ☆47Updated 2 years ago
• 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 last month
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆22Updated last week
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆83Updated last year
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 6 years ago
• ohad / collie
  Command line interface library in Idris
  ☆30Updated last month
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆54Updated 3 months ago
• serokell / hackage-search
  An application that lets you search for anything on Hackage
  ☆24Updated 6 months ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• Gabriel439 / graph
  Dhall support for directed graphs with labeled vertices
  ☆19Updated 3 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• sellout / dada
  A total recursion scheme library for Dhall
  ☆65Updated last month
• deadpendency / deadpendency
  ☆22Updated last year
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects
  ☆44Updated this week
• Profpatsch / libnix-haskell
  Haskell library to interface with the nix package manager
  ☆25Updated 2 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆57Updated 2 weeks ago