jskri/modeling-with-tla external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jskri/modeling-with-tla

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jskri/modeling-with-tla)

Close

jskri / modeling-with-tlaView on GitHubMore

• External links
• Readme badge

Tutorial on modeling with TLA+

☆24Oct 7, 2025Updated 5 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

• lucamug / 3D_Graphics_in_the_Browser_with_Elm

  View on GitHub
  ☆11Jan 27, 2021Updated 5 years ago
• Simre1 / lambdasound

  View on GitHub
  A Haskell libary for generating low-level sounds with high-level combinators.
  ☆17Oct 10, 2024Updated last year
• snejugal / typedKanren

  View on GitHub
  A statically typed embedding of miniKanren in Haskell
  ☆24Jun 8, 2025Updated 9 months ago
• typeable / compaREST

  View on GitHub
  Compatibility checker for OpenAPI
  ☆26Sep 12, 2024Updated last year
• mpi-sws-rse / jmc

  View on GitHub
  jmc: Java Model Checker
  ☆37Sep 30, 2025Updated 5 months ago
• ret / specifica

  View on GitHub
  Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
  ☆27Oct 7, 2022Updated 3 years ago
• nacmartin / elm-webgl-lessons

  View on GitHub
  A series of lessons in elm-webgl
  ☆34Jan 9, 2020Updated 6 years ago
• scuptio / sedeve-kit

  View on GitHub
  In Spec We Trust
  ☆42Jun 29, 2025Updated 8 months ago
• well-typed / recover-rtti

  View on GitHub
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆35Updated this week
• ept-team / equinor-ctf-2024

  View on GitHub
  Educational guides, writeups and challenges for the 2024 Equinor CTF
  ☆16Nov 14, 2024Updated last year
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• AsanoSaki / king_of_bots

  View on GitHub
  基于 SpringBoot 的 AI BOT 对战小游戏~
  ☆10Dec 8, 2023Updated 2 years ago
• lkuper / lvar-semantics

  View on GitHub
  PLT Redex models of LVar calculi
  ☆10Apr 6, 2015Updated 10 years ago
• WebView-CG / usage-and-challenges

  View on GitHub
  Documenting usage scenarios for WebView and the challenges they create
  ☆12Mar 22, 2024Updated last year
• oilandrust / rayhs

  View on GitHub
  A raytracer written in Haskell
  ☆10Aug 26, 2015Updated 10 years ago
• ChrisPenner / charter

  View on GitHub
  Haskell charting library
  ☆10Aug 21, 2021Updated 4 years ago
• OPLSS / oplss-notes-2021

  View on GitHub
  Materials for OPLSS 2021
  ☆11Jun 1, 2021Updated 4 years ago
• dsalahutdinov / yabeda-kafka

  View on GitHub
  ☆12Dec 3, 2024Updated last year
• tfausak / saturn

  View on GitHub
  Handle POSIX cron schedules.
  ☆13Mar 2, 2026Updated last week
• srid / unionmount

  View on GitHub
  Union mount in Haskell, with fsnotify
  ☆12Dec 23, 2025Updated 2 months ago
• KxSystems / help

  View on GitHub
  Interactive help subsystem for the q/kdb+ session
  ☆14Dec 21, 2019Updated 6 years ago
• vqns / polymlb

  View on GitHub
  ML Basis for Poly/ML
  ☆13Oct 18, 2025Updated 4 months ago
• tlaplus / TLAiBench

  View on GitHub
  TLAi+ Benchmarks
  ☆28Feb 6, 2026Updated last month
• SamuelSchlesinger / hs-ts

  View on GitHub
  A simple example of integrating TypeScript and Haskell.
  ☆13Aug 25, 2021Updated 4 years ago
• yarbroughw / secdpy

  View on GitHub
  SECD machine and Lispkit Lisp compiler, in Python
  ☆14Oct 25, 2017Updated 8 years ago
• ghc-ios / TestApp

  View on GitHub
  A simple Haskell OpenGL Test Application for iOS
  ☆13Jun 3, 2012Updated 13 years ago
• GianlucaGuarini / fortytwo

  View on GitHub
  List of interactive prompt helpers to pimp the UIs of your haskell programs
  ☆13Aug 26, 2023Updated 2 years ago
• iblech / lets-play-agda

  View on GitHub
  An interactive Agda tutorial
  ☆19Updated this week
• flipstone / henforcer

  View on GitHub
  Haskell Enforcer of user specified code standards
  ☆22Feb 10, 2026Updated 3 weeks ago
• VictorTaelin / escoc-libs-legacy

  View on GitHub
  Base Formality libraries
  ☆10Mar 4, 2019Updated 7 years ago
• 1Computer1 / errata

  View on GitHub
  Source code error pretty printing
  ☆49Dec 10, 2024Updated last year
• draperlaboratory / ELFSage

  View on GitHub
  A toy ELF parser/validator
  ☆15Dec 18, 2024Updated last year
• francisdb / glmorph

  View on GitHub
  Elm WebGL morphing particle system
  ☆12Nov 12, 2025Updated 3 months ago
• db-ai / mongo_collection_exporter

  View on GitHub
  Collection level metrics for MongoDB (EOL)
  ☆10Jan 21, 2020Updated 6 years ago
• ianmackenzie / elm-3d-camera

  View on GitHub
  Camera type for doing 3D rendering in Elm
  ☆12Oct 13, 2023Updated 2 years ago
• tfausak / haskell-knowledge-base

  View on GitHub
  A knowledge map about Haskell powered by Obsidian.
  ☆16Aug 28, 2022Updated 3 years ago
• SpriCoder / Tec-Be

  View on GitHub
  后端的相关技术学习笔记
  ☆12Nov 11, 2021Updated 4 years ago
• ASSERT-KTH / ldfi-akka

  View on GitHub
  Implementation of LDFI for Akka programs in Scala
  ☆15Sep 27, 2018Updated 7 years ago
• etaque / elm-response

  View on GitHub
  Response (model, Effects action) utilities in Elm Architecture.
  ☆13Aug 24, 2018Updated 7 years ago