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
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆20Updated 10 months ago
• osa1 / h10
  A Haskell 2010 type checker
  ☆17Updated last year
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆60Updated 2 months ago
• blntk / sfpl
  A simple functional programming language.
  ☆22Updated 4 years ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆86Updated 4 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆97Updated 11 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆28Updated last year
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆20Updated last month
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 3 years ago
• ocramz / thih
  typing haskell in haskell
  ☆18Updated 3 years ago
• snejugal / typedKanren
  A statically typed embedding of miniKanren in Haskell
  ☆24Updated 7 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆63Updated 6 months ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆56Updated last week
• shapr / kudzu
  coverage driven random testing framework
  ☆24Updated last year
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆30Updated 6 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• andorp / IdrisExtSTGCodegen
  ☆26Updated 3 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆66Updated 5 years ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆29Updated 10 months ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 4 months ago
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated last year
• haskell-cryptography / libsodium-bindings
  Bindings to libsodium for Haskell
  ☆38Updated last month
• stevana / hot-swapping-state-machines
  An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
  ☆21Updated 2 years ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆81Updated 2 years ago
• agda / agda-language-server
  Language Server for Agda
  ☆122Updated 3 months ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆61Updated this week
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆130Updated 3 months ago
• stefan-hoeck / idris2-elab-util
  Utilities and documentation for exploring idirs2's new elaborator reflection.
  ☆85Updated this week