CLI-driven TLA+ project template
☆43May 5, 2019Updated 6 years ago
Alternatives and similar repositories for tlaplus-cli-template
Users that are interested in tlaplus-cli-template are comparing it to the libraries listed below
Sorting:
- 🕒 🐇 I'm late I'm late for a very important date☆13Apr 29, 2021Updated 4 years ago
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- Automatic versioning of packages with mono-repos in mind☆13Oct 10, 2022Updated 3 years ago
- Blazing Tabs is a browser extension that allows you to search and switch your tabs blazingly fast.☆13Mar 6, 2025Updated 11 months ago
- Alloy with browser-based visualizations☆30Jun 16, 2021Updated 4 years ago
- Supersingular-isogeny key encapsulation (SIKE) over P434 in 6502/6510 assembly for Commodore 64☆24Feb 28, 2020Updated 6 years ago
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- Modeling DNS with Alloy☆37Dec 6, 2021Updated 4 years ago
- ☆20Sep 1, 2018Updated 7 years ago
- Alloy*---Higher Order Logic for Alloy☆36Dec 28, 2019Updated 6 years ago
- A versioning file store backed by git, darcs, or mercurial☆37Aug 26, 2025Updated 6 months ago
- ☆22Oct 20, 2025Updated 4 months ago
- Packer and Vagrant images for building Mirage☆26May 5, 2015Updated 10 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20May 11, 2017Updated 8 years ago
- Phlay your commits onto Phabricator☆20Jan 29, 2026Updated last month
- full text search manpages☆29Nov 6, 2021Updated 4 years ago
- Example how to use create-react-app with purescript☆22Sep 29, 2022Updated 3 years ago
- Program synthesis is possible in Rust☆24Nov 15, 2018Updated 7 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆25Mar 7, 2016Updated 9 years ago
- Scheme implementation based on a paper.☆19Jul 19, 2020Updated 5 years ago
- Snippets for competitive programming in Haskell☆21Sep 3, 2017Updated 8 years ago
- what it says on the tin☆24Jun 6, 2018Updated 7 years ago
- A web audio player demo using Halogen for skipping in different increments☆20Jun 20, 2018Updated 7 years ago
- Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c☆35Nov 26, 2024Updated last year
- Public-facing dictionary of Glean (and Glean-derived) metadata☆31Feb 17, 2026Updated last week
- Project Homepage☆35Feb 23, 2025Updated last year
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Light references to trait objects by embedding the virtual table pointer in the struct☆25Aug 25, 2024Updated last year
- A Halogen-inspired interface for React. Use it as a hook in existing components, or use the provided helpers to make entire components us…☆27Nov 17, 2022Updated 3 years ago
- Fast 🐆, type-safe vectors for Purescript☆25Jan 4, 2026Updated last month
- The Ynot Project source code.☆22May 5, 2014Updated 11 years ago
- Rust implementation of the Quine-McCluskey algorithm and Petrick's method☆35May 4, 2023Updated 2 years ago
- spaceships in space☆71Oct 25, 2020Updated 5 years ago
- GTK viewer for the output of `nix-store --query --tree`☆75Mar 10, 2024Updated last year
- Build Grafana dashboards with Dhall☆29Jan 24, 2024Updated 2 years ago
- Web service for Firefox Suggest☆31Apr 6, 2023Updated 2 years ago
- ☆31Mar 5, 2022Updated 3 years ago
- ☆46Apr 2, 2020Updated 5 years ago