ret/specifica 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

ret/specifica

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/ret/specifica)

Close

ret / specificaView on GitHubMore

• External links
• Readme badge

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

☆27Oct 7, 2022Updated 3 years ago

Alternatives and similar repositories for specifica

Users that are interested in specifica are comparing it to the libraries listed below

• bgamari / nanomsg-haskell

  View on GitHub
  Haskell bindings to nanomsg
  ☆25Jul 19, 2025Updated 7 months ago
• lambda-fairy / robot

  View on GitHub
  Simulate keyboard and mouse events using Haskell
  ☆18Feb 16, 2015Updated 11 years ago
• tlaplus-community / tlauc

  View on GitHub
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆41Jul 22, 2025Updated 7 months ago
• Gabriella439 / HasCal

  View on GitHub
  Haskell embedding of PlusCal
  ☆62May 21, 2022Updated 3 years ago
• isovector / dynahaskell

  View on GitHub
  the dynabook but for haskell
  ☆23Sep 23, 2019Updated 6 years ago
• cmditch / elm-ethereum-generator

  View on GitHub
  Generate an elm-ethereum contract interface from your contract's ABI
  ☆11Dec 7, 2022Updated 3 years ago
• LeventErkok / sbvPlugin

  View on GitHub
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆46Jan 12, 2026Updated last month
• yi-editor / yi-rope

  View on GitHub
  Rope data structure used by Yi
  ☆20Jun 6, 2018Updated 7 years ago
• joelburget / easytest

  View on GitHub
  Simple testing toolkit
  ☆10May 28, 2021Updated 4 years ago
• lspitzner / iridium

  View on GitHub
  Automated Testing and Package Uploading
  ☆12Oct 3, 2018Updated 7 years ago
• harendra-kumar / monad-recorder

  View on GitHub
  Record and play the results of monadic actions
  ☆13Mar 18, 2018Updated 7 years ago
• timewinder-dev / timewinder-prototype

  View on GitHub
  Temporal Logic of Actions Modeling for Python
  ☆11Mar 27, 2021Updated 4 years ago
• GaloisInc / hpb

  View on GitHub
  Haskell Protocol Buffers
  ☆12Jan 22, 2020Updated 6 years ago
• serras / miso-start-template

  View on GitHub
  Template for new Miso projects
  ☆11Sep 7, 2020Updated 5 years ago
• jskri / modeling-with-tla

  View on GitHub
  Tutorial on modeling with TLA+
  ☆24Oct 7, 2025Updated 4 months ago
• deech / fltkhs-media-player

  View on GitHub
  ☆11Sep 19, 2017Updated 8 years ago
• ChrisPenner / charter

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

  View on GitHub
  A programming action game.
  ☆13Feb 15, 2024Updated 2 years ago
• Gizra / elm-debouncer

  View on GitHub
  The most comprehensive debouncer for Elm
  ☆13Nov 28, 2018Updated 7 years ago
• srid / unionmount

  View on GitHub
  Union mount in Haskell, with fsnotify
  ☆12Dec 23, 2025Updated 2 months ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• japgolly / tla2json

  View on GitHub
  Convert TLA+ output (and values) into JSON
  ☆27Mar 3, 2021Updated 4 years ago
• pbogdan / ngx-top

  View on GitHub
  Monitor nginx access logs in real time.
  ☆25Dec 9, 2019Updated 6 years ago
• freckle / stackctl

  View on GitHub
  Manage CloudFormation Stacks through specifications
  ☆13Dec 15, 2025Updated 2 months ago
• nikita-volkov / list-t

  View on GitHub
  ListT done right
  ☆15Oct 11, 2023Updated 2 years ago
• haskell-nix / hnix-web-repl

  View on GitHub
  A REPL for nix expressions in your browser
  ☆13May 5, 2018Updated 7 years ago
• bitnomial / servant-jsonrpc

  View on GitHub
  Tools to build JSON-RPC clients and servers the Servant way
  ☆10Sep 28, 2024Updated last year
• plaxdan / elm-indexeddb-example

  View on GitHub
  Persist Elm data structures to IndexedDB using ports and LocalForage.
  ☆10Nov 20, 2016Updated 9 years ago
• cartazio / resin

  View on GitHub
  Resin: high performance variable binder and ast manipulation lib
  ☆13Jan 1, 2019Updated 7 years ago
• freckle / closed

  View on GitHub
  Integers bounded by a closed interval
  ☆14Dec 15, 2025Updated 2 months ago
• bburdette / pdf-element

  View on GitHub
  pdf.js custom element for elm
  ☆12May 11, 2022Updated 3 years ago
• haskell-fswatch / hinotify

  View on GitHub
  Haskell binding to inotify
  ☆33Mar 24, 2025Updated 11 months ago
• circuithub / fast-downward

  View on GitHub
  Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward
  ☆32May 11, 2023Updated 2 years ago
• turboMaCk / wai-enforce-https

  View on GitHub
  Enforce HTTPS in Wai server app safely.
  ☆13Nov 1, 2021Updated 4 years ago
• haskell-distributed / distributed-process-demos

  View on GitHub
  Cloud Haskell Demonstration
  ☆18Sep 5, 2015Updated 10 years ago
• nikita-volkov / deque

  View on GitHub
  Double-ended queues
  ☆14Feb 3, 2025Updated last year
• freckle / faktory_worker_haskell

  View on GitHub
  Faktory Worker for Haskell
  ☆17Feb 20, 2026Updated last week
• mariatsji / type-depict

  View on GitHub
  Haskell Expression Visualizer
  ☆13Apr 2, 2022Updated 3 years ago
• cobbpg / hp2any

  View on GitHub
  Haskell space profiling toolset
  ☆14Nov 7, 2018Updated 7 years ago