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
• blntk / sfpl
  A simple functional programming language.
  ☆22Updated 4 years ago
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated 8 months ago
• ocramz / thih
  typing haskell in haskell
  ☆18Updated 3 years ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆60Updated 3 weeks ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆85Updated 4 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year
• osa1 / h10
  A Haskell 2010 type checker
  ☆17Updated last year
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆18Updated 2 weeks ago
• haskell-cryptography / libsodium-bindings
  Bindings to libsodium for Haskell
  ☆37Updated this week
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆28Updated last year
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆61Updated 4 months ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆96Updated 9 months ago
• snejugal / typedKanren
  A statically typed embedding of miniKanren in Haskell
  ☆23Updated 5 months ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆54Updated 5 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆90Updated last month
• shapr / kudzu
  coverage driven random testing framework
  ☆24Updated last year
• andreasabel / miniagda
  A prototypical dependently typed languages with sized types and variances
  ☆113Updated 4 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 3 years ago
• Abhiroop / okasaki
  A Haskell Collections library. [WIP]
  ☆14Updated last year
• tweag / pirouette
  Language-generic workbench for building static analysis
  ☆47Updated 2 years ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆58Updated 2 weeks ago
• gergoerdi / clash-compucolor2
  Clash implementation of the Compucolor II home computer
  ☆32Updated 4 years ago
• inflex-io / early
  Add early return to any do-expression
  ☆47Updated 4 years ago
• input-output-hk / io-sim
  Haskell's IO simulator which closely follows core packages (base, async, stm).
  ☆51Updated last week
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated last year
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 5 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆130Updated last month