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 8 months ago
• typeable / compaREST

  View on GitHub
  Compatibility checker for OpenAPI
  ☆26Sep 12, 2024Updated last year
• ret / specifica

  View on GitHub
  Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
  ☆27Oct 7, 2022Updated 3 years ago
• mpi-sws-rse / jmc

  View on GitHub
  jmc: Java Model Checker
  ☆37Sep 30, 2025Updated 4 months 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 7 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).
  ☆35Jan 7, 2026Updated last month
• ept-team / equinor-ctf-2024

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

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• ChrisPenner / charter

  View on GitHub
  Haskell charting library
  ☆10Aug 21, 2021Updated 4 years ago
• oilandrust / rayhs

  View on GitHub
  A raytracer written in Haskell
  ☆10Aug 26, 2015Updated 10 years ago
• iblech / lets-play-agda

  View on GitHub
  An interactive Agda tutorial
  ☆19Nov 9, 2025Updated 3 months ago
• lkuper / lvar-semantics

  View on GitHub
  PLT Redex models of LVar calculi
  ☆10Apr 6, 2015Updated 10 years ago
• dsalahutdinov / yabeda-kafka

  View on GitHub
  ☆12Dec 3, 2024Updated last year
• srid / unionmount

  View on GitHub
  Union mount in Haskell, with fsnotify
  ☆12Dec 23, 2025Updated last month
• OPLSS / oplss-notes-2021

  View on GitHub
  Materials for OPLSS 2021
  ☆11Jun 1, 2021Updated 4 years ago
• ghc-ios / TestApp

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

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

  View on GitHub
  Haskell Enforcer of user specified code standards
  ☆22Updated this week
• GianlucaGuarini / fortytwo

  View on GitHub
  List of interactive prompt helpers to pimp the UIs of your haskell programs
  ☆13Aug 26, 2023Updated 2 years ago
• tfausak / saturn

  View on GitHub
  Handle POSIX cron schedules.
  ☆13Jan 14, 2026Updated last month
• tlaplus / TLAiBench

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

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

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

  View on GitHub
  ML Basis for Poly/ML
  ☆13Oct 18, 2025Updated 3 months ago
• yarbroughw / secdpy

  View on GitHub
  SECD machine and Lispkit Lisp compiler, in Python
  ☆14Oct 25, 2017Updated 8 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
• 1Computer1 / errata

  View on GitHub
  Source code error pretty printing
  ☆48Dec 10, 2024Updated last year
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• SpriCoder / Tec-Be

  View on GitHub
  后端的相关技术学习笔记
  ☆12Nov 11, 2021Updated 4 years ago
• bunyan-logger / bunyan_core

  View on GitHub
  A distributed logger for Elixir
  ☆11Jul 18, 2018Updated 7 years ago
• luc-tielen / typesystem

  View on GitHub
  Experiments using a bidirectional typesystem
  ☆17Jan 30, 2022Updated 4 years ago
• zouyonghao / DistFuzz

  View on GitHub
  Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
  ☆13Mar 7, 2025Updated 11 months ago
• db-ai / mongo_collection_exporter

  View on GitHub
  Collection level metrics for MongoDB (EOL)
  ☆10Jan 21, 2020Updated 6 years ago
• gterzian / understand-paxos

  View on GitHub
  What makes Paxos tick?
  ☆11Apr 16, 2025Updated 10 months ago
• Szetty / erlang-ffi

  View on GitHub
  Communicate with Erlang node from Haskell
  ☆13Mar 14, 2021Updated 4 years ago
• blues-lab / totp-app-analysis-public

  View on GitHub
  Security and Privacy Failures in Popular 2FA Apps
  ☆20Oct 5, 2023Updated 2 years ago