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
- 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
- Web app delivering 40Hz light and sound stimulation for gamma entrainment research☆28Jan 30, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆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
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆104Feb 23, 2024Updated 2 years 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
- A SBT Plugin Which Automatically Configures MiMa Based On Your Version Scheme (SemVer, PVP, etc)☆10Dec 1, 2025Updated 7 months ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 4 years ago
- YKarma is an experimental project to model reputation as a spendable currency.☆25Jan 9, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Ooloi music notation software documentation - early access docs ahead of open-source release.☆28Updated this week
- Claude Code hook that detects context compaction and injects a reminder to re-read AGENTS.md, preventing post-compaction rule amnesia in …☆47Apr 29, 2026Updated 2 months ago
- TOON as DSPy adapter☆26Feb 1, 2026Updated 5 months ago
- Berth use Docker containers to build packages for you, based on a YAML configuration file.☆11May 5, 2017Updated 9 years ago
- Git-versioned backup tool for AI coding agent config folders (Claude Code, Cursor, Codex, etc.) with size-based rotation and easy restora…☆31Apr 29, 2026Updated 2 months ago
- FuckBench (FB) is a set of development tools to compile several languages to BrainFuck.☆12Feb 22, 2026Updated 4 months ago
- Giter8 template for a Mill project with a Scala Hello App☆17Feb 18, 2026Updated 4 months 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
- Converting Non-Recursive Datalog to SQL☆25Apr 1, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- sbt plugin for adding/updating license headers in source files☆16Sep 7, 2021Updated 4 years ago
- Handwriting and gesture recognition with line integrals.☆20Oct 1, 2020Updated 5 years ago
- Zero-setup bash CLI that downloads full-resolution images from iCloud/Dropbox/Google Photos share links, bridging iPhone screenshots to r…☆39Jun 8, 2026Updated last month
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆65Feb 25, 2025Updated last year
- Donatello is a DotNet lisp-like language☆10Apr 17, 2020Updated 6 years ago
- Rust implementation of the NEAT evolutionary algorithm☆25Jan 17, 2021Updated 5 years ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14May 26, 2025Updated last year
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Jul 1, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Middleware oriented oauth2 client for webservices☆21Sep 13, 2025Updated 9 months ago
- ☆10Nov 11, 2019Updated 6 years ago
- Cloud Benchmarker automates performance testing of cloud instances, offering insightful charts and tracking over time.☆38Mar 22, 2026Updated 3 months ago
- MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies☆14Mar 5, 2026Updated 4 months ago
- ☆22Updated this week
- A Clojure library for profiling.☆28Nov 18, 2014Updated 11 years ago
- LCOV tracefile parser/merger/filter in pure Rust.☆18Jun 19, 2026Updated 3 weeks ago