An introduction to temporal logic and how it can be used to analyze concurrency
☆111Jan 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:
- Educational comparison of the Paxos and Raft distributed consensus algorithms☆12Jul 23, 2023Updated 2 years ago
- 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆176Feb 27, 2025Updated last year
- Solutions of the exercises of the HoTT book☆23Dec 15, 2016Updated 9 years ago
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆102Feb 23, 2024Updated 2 years ago
- ☆15Sep 6, 2024Updated last year
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- Scale to zero Seafowl hosting with Cloud Run☆37Jun 6, 2023Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- Work in progress on semi-simplicial types☆24Dec 15, 2022Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Feb 5, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆10Feb 28, 2011Updated 15 years ago
- Git-versioned backup tool for AI coding agent config folders (Claude Code, Cursor, Codex, etc.) with size-based rotation and easy restora…☆27Apr 29, 2026Updated last week
- YouTube Transcript Cleaner is a simple web-based application that improves the readability of YouTube transcripts.☆29Feb 27, 2025Updated last year
- Berth use Docker containers to build packages for you, based on a YAML configuration file.☆11May 5, 2017Updated 9 years ago
- Experimental Web Connectivity implementation☆11Nov 22, 2020Updated 5 years ago
- laboratório de integração Lua com libuv para execução de scripts assíncronos e experimentação de POCs☆16Jan 28, 2025Updated last year
- Temporal noise reduction for videos in BRAW format to get long virtual exposure time☆32May 20, 2024Updated last year
- Donatello is a DotNet lisp-like language☆10Apr 17, 2020Updated 6 years ago
- Easily make Anki flash cards in markdown☆13Sep 20, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- CMSC 430 Design and Implementation of Programming Languages☆52Updated this week
- node module for geospatial indexing with leveldb☆35Dec 30, 2022Updated 3 years ago
- ☆10Nov 11, 2019Updated 6 years ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 6 years ago
- Gameboy emulator written in Rust☆12Jun 27, 2021Updated 4 years ago
- ☆21May 2, 2026Updated last week
- LCOV tracefile parser/merger/filter in pure Rust.☆17Apr 30, 2026Updated last week
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Slack Parser is a script to parse slack database and extract user-data, chat history, workspace information☆15Feb 21, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- B-field implementation in Rust☆205Jun 24, 2025Updated 10 months ago
- 3-body simulator☆20Apr 23, 2024Updated 2 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆23Apr 17, 2023Updated 3 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Mar 2, 2026Updated 2 months ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 3 years ago
- An Eulerian fluid simulation written in Rust to learn the language☆13Mar 16, 2024Updated 2 years ago