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:
- 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…☆55Jun 7, 2024Updated 2 years ago
- 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
- Transform your code project into a Markdown document optimized for interaction with Language Learning Models like GPT-4, complete with dy…☆25Sep 29, 2023Updated 2 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Jan 19, 2024Updated 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.
- Web app delivering 40Hz light and sound stimulation for gamma entrainment research☆27Jan 30, 2024Updated 2 years ago
- A package manager that uses curses to provide a friendly UI☆11May 17, 2023Updated 3 years ago
- ☆22Sep 8, 2024Updated last year
- 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
- ☆10Mar 4, 2026Updated 3 months ago
- 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 3 years ago
- Work in progress on semi-simplicial types☆24Dec 15, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple agent powered by LLMs that performs tasks.☆15Apr 25, 2025Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆74Feb 5, 2023Updated 3 years ago
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆10Feb 28, 2011Updated 15 years ago
- Claude Code hook that detects context compaction and injects a reminder to re-read AGENTS.md, preventing post-compaction rule amnesia in …☆43Apr 29, 2026Updated last month
- YouTube Transcript Cleaner is a simple web-based application that improves the readability of YouTube transcripts.☆29Feb 27, 2025Updated last year
- ~1/2 of a compiler for an internal DSL: a lexer and partial parser for contextual internal DSLs☆22Aug 11, 2011Updated 14 years ago
- Converting Non-Recursive Datalog to SQL☆25Apr 1, 2026Updated 2 months ago
- Temporal noise reduction for videos in BRAW format to get long virtual exposure time☆32May 20, 2024Updated 2 years ago
- Donatello is a DotNet lisp-like language☆10Apr 17, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Feb 3, 2025Updated last year
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14May 26, 2025Updated last year
- A globally shared, request scoped, context for JVM based gRPC microservices☆43Aug 3, 2024Updated last year
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- SAPT energy calculator built using MDAnalysis and Psi4☆15May 26, 2025Updated last year
- ☆10Nov 11, 2019Updated 6 years 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
- ☆12Jan 25, 2022Updated 4 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.
- MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies☆14Mar 5, 2026Updated 3 months ago
- Python quick reference☆21Nov 14, 2013Updated 12 years ago
- Gameboy emulator written in Rust☆12Jun 27, 2021Updated 4 years ago
- A Clojure library for profiling.☆28Nov 18, 2014Updated 11 years ago
- Slack Parser is a script to parse slack database and extract user-data, chat history, workspace information☆16Feb 21, 2021Updated 5 years ago
- Automatically turn your SQLalchemy Data Models into a Nice SVG Diagram☆292Feb 27, 2025Updated last year
- 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