An introduction to temporal logic and how it can be used to analyze concurrency
☆110Jan 24, 2024Updated 2 years ago
Alternatives and similar repositories for introduction_to_temporal_logic
Users that are interested in introduction_to_temporal_logic are comparing it to the libraries listed below
Sorting:
- ☆22Sep 8, 2024Updated last year
- Experimental Web Connectivity implementation☆11Nov 22, 2020Updated 5 years ago
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆10Feb 28, 2011Updated 15 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Jan 19, 2024Updated 2 years ago
- Berth use Docker containers to build packages for you, based on a YAML configuration file.☆11May 5, 2017Updated 8 years ago
- ☆15Sep 6, 2024Updated last year
- Ooloi music notation software documentation - early access docs ahead of open-source release.☆27Updated this week
- Scale to zero Seafowl hosting with Cloud Run☆37Jun 6, 2023Updated 2 years ago
- a static site with my youtube subscriptions deployed via Github Actions with a cronjob☆17Updated this week
- FuckBench (FB) is a set of development tools to compile several languages to BrainFuck.☆12Feb 22, 2026Updated 2 weeks ago
- ☆17Oct 2, 2017Updated 8 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 3 years ago
- glitch art X screen locker☆18Mar 17, 2019Updated 6 years ago
- 🔏 Kernel module for signature verification of ELF files.☆19Nov 17, 2021Updated 4 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated last year
- Multi-Array Queue program codes☆76May 29, 2025Updated 9 months ago
- A Clojure library for profiling.☆28Nov 18, 2014Updated 11 years ago
- Extism OCaml Host SDK - easily run WebAssembly modules / plugins from OCaml applications☆18Dec 4, 2024Updated last year
- Work in progress on semi-simplicial types☆23Dec 15, 2022Updated 3 years ago
- CookieCutter template for getting started with Flyte python projects☆21Apr 4, 2025Updated 11 months ago
- Converting Non-Recursive Datalog to SQL☆24Oct 30, 2016Updated 9 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- A declarative pipeline orchestrator with the magic of HCL as a configuration language, inspired from Terraform's architecture.☆152Apr 19, 2024Updated last year
- Kubernetes Ingress and Service monitoring of HTTP/HTTPS requests☆21Apr 19, 2020Updated 5 years ago
- Rust implementation of the NEAT evolutionary algorithm☆24Jan 17, 2021Updated 5 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Dec 6, 2025Updated 3 months ago
- user space tool for inspection and simple manipulation of eBPF programs and maps☆25Feb 1, 2018Updated 8 years ago
- Microservice based console server to help log and redirect the terminal content for multiple session hosts.☆19Nov 2, 2020Updated 5 years ago
- Work with disassembled code.☆25Jun 2, 2025Updated 9 months ago
- Solutions of the exercises of the HoTT book☆23Dec 15, 2016Updated 9 years ago
- An extendable toolkit for improving the go standard library HTTP client.☆25Feb 20, 2026Updated 2 weeks ago
- High-performance open-source synthetic data engine. Uses LLMs for schema design and vectorized NumPy for deterministic, scalable generati…☆51Feb 15, 2026Updated 3 weeks ago
- Instant web3 publications for writers, DAOs, and any Ethereum-based account.☆30May 29, 2024Updated last year
- Temporal noise reduction for videos in BRAW format to get long virtual exposure time☆32May 20, 2024Updated last year
- An implementation of system-versioned tables in Postgres using only triggers, with a time travelling todo app as a showcase.☆36Jan 21, 2024Updated 2 years ago
- miniKanren for JavaScript☆27Jul 18, 2023Updated 2 years ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,196Mar 3, 2026Updated last week
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- Scientific computing language☆191Apr 27, 2025Updated 10 months ago