Alternatives and similar repositories for storm:

Users that are interested in storm are comparing it to the libraries listed below

• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆28Updated 3 years ago
• ekmett / adjunctions
  Simple adjunctions
  ☆44Updated last year
• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆41Updated 9 months ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 3 months ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆44Updated 2 years ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆50Updated last year
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆15Updated 9 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 weeks ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 5 months ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆36Updated 2 weeks ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated 2 years ago
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 5 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆18Updated last year
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆31Updated 4 years ago
• jespercockx / popl19-tutorial
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Updated 6 years ago
• AndrasKovacs / misc-stuff
  Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.
  ☆19Updated 2 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated last year
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 8 months ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 8 months ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 4 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆26Updated 9 months ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 2 months ago