Alternatives and similar repositories for modeling-with-tla

Users that are interested in modeling-with-tla are comparing it to the libraries listed below

• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆60Updated 2 months ago
• ocramz / thih
  typing haskell in haskell
  ☆18Updated 3 years ago
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated 10 months ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆85Updated 4 years ago
• snejugal / typedKanren
  A statically typed embedding of miniKanren in Haskell
  ☆23Updated 7 months ago
• blntk / sfpl
  A simple functional programming language.
  ☆22Updated 4 years ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆28Updated last year
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆19Updated last week
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆80Updated 2 years ago
• deech / cabal-auto-expose
  ☆31Updated 4 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year
• shapr / kudzu
  coverage driven random testing framework
  ☆24Updated last year
• Abhiroop / okasaki
  A Haskell Collections library. [WIP]
  ☆14Updated last year
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆31Updated 2 months ago
• haskell-cryptography / libsodium-bindings
  Bindings to libsodium for Haskell
  ☆39Updated last week
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆29Updated 10 months ago
• inflex-io / early
  Add early return to any do-expression
  ☆47Updated 4 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 3 months ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 5 years ago
• osa1 / h10
  A Haskell 2010 type checker
  ☆17Updated last year
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated last year
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆63Updated 5 months ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 3 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 4 years ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆97Updated 2 weeks ago
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆71Updated this week
• andorp / IdrisExtSTGCodegen
  ☆26Updated 3 years ago
• input-output-hk / io-sim
  Haskell's IO simulator which closely follows core packages (base, async, stm).
  ☆52Updated last week
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated 3 years ago