☆10Oct 11, 2022Updated 3 years ago
Alternatives and similar repositories for TLAPlusDocker
Users that are interested in TLAPlusDocker are comparing it to the libraries listed below
Sorting:
- ☆51Feb 3, 2026Updated 3 weeks ago
- AWS Quick Start Team☆15Oct 3, 2024Updated last year
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 9 years ago
- Collaborative Discourse Manager☆11Nov 6, 2016Updated 9 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- This NodeJS app joins Zwift with fitness machines running iFit® over Wi-Fi/Bluetooth.☆10Jun 24, 2022Updated 3 years ago
- ☆12Feb 5, 2026Updated 3 weeks ago
- Yeoman Generator for Bookmarklets☆33May 17, 2017Updated 8 years ago
- Exploring the neighborhoods of New York City☆11Jan 7, 2023Updated 3 years ago
- Open-source, Cloud-native Streams☆12Apr 7, 2021Updated 4 years ago
- ACM SIGCOMM eBook on Recent Advances in Networking☆21Jan 13, 2014Updated 12 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Tradingview Realtime data capture using streamlit☆13Aug 8, 2022Updated 3 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Spring 2020 UMBC data 601☆11May 23, 2021Updated 4 years ago
- 3D vector and raster map engine - fork of Tangram ES☆19Feb 8, 2026Updated 3 weeks ago
- Secure Tor-enabled RSS reader for iOS devices.☆13Dec 3, 2015Updated 10 years ago
- A dependency injector☆10Nov 19, 2022Updated 3 years ago
- Core seneca implementation.☆11Oct 7, 2015Updated 10 years ago
- ☆10Oct 16, 2024Updated last year
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- EventSource convenience wrapper☆10Feb 16, 2018Updated 8 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- nREPL support for ClojureScript☆10Nov 13, 2017Updated 8 years ago
- Scripts for building binary release bundle for Linux and Mac.☆11Feb 12, 2024Updated 2 years ago
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- VS Code extension for Duffle, the CNAB installer☆14Apr 29, 2023Updated 2 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆14Dec 16, 2024Updated last year
- We are not Object Oriented anymore☆11Oct 27, 2015Updated 10 years ago
- ☆28Nov 22, 2025Updated 3 months ago
- IRC bot that broadcasts your foursquare checkins into #nerdtracker on freenode☆21Jun 18, 2016Updated 9 years ago
- A leiningen template for cljs scripts that target nodejs☆18Jun 18, 2014Updated 11 years ago
- Alexa GuardDuty Sample Skill☆13May 3, 2018Updated 7 years ago
- ☆11Mar 3, 2021Updated 4 years ago
- ☆17Feb 18, 2026Updated last week
- This contains my incomplete implementation of a variant of the MinimaLT protocol☆22Mar 2, 2014Updated 11 years ago
- This repository is based on the .NET Framework and only supports the Windows x64 platform.☆13Aug 12, 2025Updated 6 months ago