re-xyr / speff

Related projects ⓘ

Alternatives and complementary repositories for speff

• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆16Updated 5 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• ekmett / parsnip
  ☆18Updated 3 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆29Updated 11 months ago
• TOTBWF / teenytt
  A Teeny Type Theory
  ☆26Updated 2 years ago
• emilypi / order
  Order theory
  ☆23Updated last year
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆21Updated last month
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated last year
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆28Updated 4 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 2 years ago
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆40Updated 6 months ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• TOTBWF / cubical-categories
  Category theory formalized in cubical agda
  ☆20Updated 4 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 5 months ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated last year
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• karroffel / Idris2-Ocaml
  OCaml backend for Idris2
  ☆19Updated 4 years ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated last year
• isovector / ldtk-types
  Types for ldtk
  ☆14Updated 7 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆43Updated 4 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆27Updated 3 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 3 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 3 months ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• ohad / collie
  Command line interface library in Idris
  ☆30Updated 3 months ago
• SamuelSchlesinger / commander-cli
  A simple library I wrote to allow me to quickly and easily construct command line interfaces.
  ☆28Updated last year