Alternatives and similar repositories for concur-static

Users that are interested in concur-static are comparing it to the libraries listed below

• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 6 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆39Updated last year
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 3 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• Gizra / ihp-simple-seat-reservation
  ☆20Updated last year
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 6 months ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 3 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• sordina / logody
  concurrent process runner
  ☆31Updated 5 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• nikita-volkov / strelka
  A simple, flexible and composable web-router
  ☆85Updated 5 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆42Updated 3 weeks ago
• nikita-volkov / domain
  Focused domain model declaration toolkit for Haskell
  ☆47Updated last year
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• ChrisPenner / lens-csv
  Lensy interface for parsing CSV's
  ☆42Updated 4 years ago
• ChrisPenner / mad-props
  Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
  ☆67Updated 2 years ago
• commercialhaskell / casa
  Content Addressable Storage Archive
  ☆41Updated last year
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆106Updated 5 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated last year
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• ocharles / what-it-do
  Automatically trace all (showable) binds in do expressions
  ☆84Updated 7 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• sharkdp / purescript-isometric
  Isometric rendering for PureScript
  ☆58Updated 5 years ago