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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Long-form biographical essay on Hermann Grassmann, the 19th-century polymath who invented exterior algebra, exploring his life, mathemati…☆54Jun 7, 2024Updated last year
- A Full Transcript and Slides from the talk "Attacks on Anonymity Systems: The Theory" by Len Sassaman and Roger Dingledine in 2003☆16Feb 28, 2024Updated 2 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Jan 19, 2024Updated 2 years ago
- ☆22Sep 8, 2024Updated last year
- Solutions of the exercises of the HoTT book☆23Dec 15, 2016Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆101Feb 23, 2024Updated 2 years ago
- ☆15Sep 6, 2024Updated last year
- Scale to zero Seafowl hosting with Cloud Run☆37Jun 6, 2023Updated 2 years ago
- Work in progress on semi-simplicial types☆24Dec 15, 2022Updated 3 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Feb 5, 2023Updated 3 years ago
- YKarma is an experimental project to model reputation as a spendable currency.☆25Jan 9, 2023Updated 3 years ago
- Git-versioned backup tool for AI coding agent config folders (Claude Code, Cursor, Codex, etc.) with size-based rotation and easy restora…☆23Mar 23, 2026Updated last week
- FuckBench (FB) is a set of development tools to compile several languages to BrainFuck.☆12Feb 22, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Converting Non-Recursive Datalog to SQL☆24Oct 30, 2016Updated 9 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- Donatello is a DotNet lisp-like language☆10Apr 17, 2020Updated 5 years ago
- ☆14Feb 3, 2025Updated last year
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14May 26, 2025Updated 10 months ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Dec 6, 2025Updated 3 months ago
- Cloud Benchmarker automates performance testing of cloud instances, offering insightful charts and tracking over time.☆37Mar 22, 2026Updated last week
- node module for geospatial indexing with leveldb☆35Dec 30, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A Python wrapper for the bbhash library for Minimal Perfect Hashing☆19Oct 26, 2025Updated 5 months ago
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- Extism OCaml Host SDK - easily run WebAssembly modules / plugins from OCaml applications☆18Dec 4, 2024Updated last year
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 6 years ago
- A Clojure library for profiling.☆28Nov 18, 2014Updated 11 years ago
- ☆21Updated this week
- LCOV tracefile parser/merger/filter in pure Rust.☆16Mar 23, 2026Updated last week
- OS X / Mint / Ubuntu dotfiles☆11Aug 2, 2022Updated 3 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- B-field implementation in Rust☆205Jun 24, 2025Updated 9 months ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 5 years ago
- server hardware abstraction, tries to lower the burden of supporting different server vendors☆15Mar 9, 2026Updated 3 weeks ago
- Ramblings in art and craft of Emacs init file configuration and Elisp.☆10Jan 7, 2021Updated 5 years ago
- An Eulerian fluid simulation written in Rust to learn the language☆13Mar 16, 2024Updated 2 years ago
- ☆12Jun 13, 2019Updated 6 years ago