jskri / modeling-with-tlaLinks
Tutorial on modeling with TLA+
☆25Updated 3 months ago
Alternatives and similar repositories for modeling-with-tla
Users that are interested in modeling-with-tla are comparing it to the libraries listed below
Sorting:
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Reimplementation of Parsley in Haskell, with improvements☆60Updated 2 months ago
- typing haskell in haskell☆18Updated 3 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 10 months ago
- Efficient Haskell effect handlers based on evidence translation.☆85Updated 4 years ago
- A statically typed embedding of miniKanren in Haskell☆23Updated 7 months ago
- A simple functional programming language.☆22Updated 4 years ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- Algebraic effects in the Bluefin effect system☆19Updated last week
- A tutorial about how to apply property-based testing to stateful systems.☆80Updated 2 years ago
- ☆31Updated 4 years ago
- LLVM code generation in Haskell☆54Updated last year
- coverage driven random testing framework☆24Updated last year
- A Haskell Collections library. [WIP]☆14Updated last year
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 2 months ago
- Bindings to libsodium for Haskell☆39Updated last week
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 10 months ago
- Add early return to any do-expression☆47Updated 4 years ago
- high-powered optics in a small package☆53Updated 3 months ago
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago
- A Haskell 2010 type checker☆17Updated last year
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated last year
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆63Updated 5 months ago
- GRIN backend for Idris2☆33Updated 3 years ago
- ICFP tutorial☆39Updated 4 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 2 weeks ago
- Automatically generate Haskell bindings from C header files☆71Updated this week
- ☆26Updated 3 years ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆52Updated last week
- Composable Concurrent Computation Done Right☆30Updated 3 years ago