Helper tools for using TLA+
☆10Dec 11, 2014Updated 11 years ago
Alternatives and similar repositories for tla_tools
Users that are interested in tla_tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DAFT Allows File Transfers☆24Jan 11, 2023Updated 3 years ago
- Ping pong at the start-up level☆16Jul 18, 2012Updated 14 years ago
- RIP: The K Riak Client.☆13May 10, 2017Updated 9 years ago
- The http client from rfuzz extracted, stripped down, and all wrapped up into its very own gem.☆14May 30, 2010Updated 16 years ago
- Benchmarks for the ReactJS framework☆13Nov 13, 2013Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sample data for Windy City DB☆16Jun 25, 2010Updated 16 years ago
- JavaScript helper libraries for unit testing☆12Oct 9, 2008Updated 18 years ago
- DTLS standalone stack for Erlang R17☆13Jul 22, 2021Updated 5 years ago
- A MiniKanren in Python☆37Jul 15, 2016Updated 10 years ago
- Side-to-side documentation generator. Fork of the Pycco, grandfork of the Docco. And an object-oriented one.☆13Mar 29, 2021Updated 5 years ago
- Chapters 4 and 5 of SICP☆11Apr 14, 2013Updated 13 years ago
- Erlang for your music (libspotify wrapper)☆14Nov 3, 2012Updated 13 years ago
- The tiniest possible ClojureScript project☆11Nov 27, 2013Updated 12 years ago
- A touch-based synth in ClojureScript☆12Jul 21, 2014Updated 12 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Fastly WAF CLI☆27Oct 11, 2023Updated 3 years ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 9 months ago
- A redis-powered job/background runner☆17Nov 4, 2009Updated 16 years ago
- Display the buffer's selections on the minimap☆15Jan 30, 2023Updated 3 years ago
- lattice-based miniKanren, inspired by lambda-LVars☆12Apr 2, 2013Updated 13 years ago
- Please refer to the official version of cddlib on github instead.☆14May 1, 2018Updated 8 years ago
- rice, hax, etc☆16Dec 22, 2013Updated 12 years ago
- Codeq-related recipes (eg, queries, rules, schemas)☆12Dec 30, 2012Updated 13 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Open-source interpreter for Twilio's TwiML realtime call control grammar☆15Mar 4, 2009Updated 17 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Gists for the iPad☆12Apr 23, 2010Updated 16 years ago
- All the apps I'm making to learn ClojureScript (and also have fun)☆40Jun 3, 2015Updated 11 years ago
- Nagios Scripts for monitoring Riak☆24Oct 22, 2015Updated 11 years ago
- Fressian for ClojureScript☆15Sep 8, 2015Updated 11 years ago
- ☆15Jan 9, 2013Updated 13 years ago
- Generate bindings for gpb, Protocol Buffers for Erlang☆16Mar 13, 2015Updated 11 years ago
- Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic☆14Sep 13, 2014Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Runs benchmarks against a range of Clojurescript versions and reports the results☆10Aug 30, 2012Updated 14 years ago
- Carson is the butler from Downton Abbey. A fine butler indeed. Jenkins and Hudson suck arse. Carson will replace them for software projec…☆17May 6, 2014Updated 12 years ago
- ☆14Mar 2, 2015Updated 11 years ago
- Rack middleware to perform IP to geo lookups on HTTP client IP addresses.☆19Mar 27, 2009Updated 17 years ago
- Provides Merb apps with OAuth Provider functionality☆16Jun 10, 2008Updated 18 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic☆35Feb 25, 2014Updated 12 years ago