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:
- Long-form biographical essay on Hermann Grassmann, the 19th-century polymath who invented exterior algebra, exploring his life, mathemati…☆56Jun 7, 2024Updated 2 years ago
- Some Thoughts on AI Alignment: Using AI to Control AI☆16Feb 25, 2025Updated last year
- Transform your code project into a Markdown document optimized for interaction with Language Learning Models like GPT-4, complete with dy…☆26Sep 29, 2023Updated 2 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆98Jan 19, 2024Updated 2 years ago
- A package manager that uses curses to provide a friendly UI☆12May 17, 2023Updated 3 years ago
- 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.
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆37Feb 25, 2024Updated 2 years ago
- ☆22Sep 8, 2024Updated last year
- ☆10Mar 4, 2026Updated 4 months ago
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆177Feb 27, 2025Updated last year
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆105Feb 23, 2024Updated 2 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- A domain specific language to build complex workflows☆15Jun 26, 2026Updated last month
- Work in progress on semi-simplicial types☆25Dec 15, 2022Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆75Feb 5, 2023Updated 3 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.
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 4 years ago
- A SBT Plugin Which Automatically Configures MiMa Based On Your Version Scheme (SemVer, PVP, etc)☆10Dec 1, 2025Updated 7 months ago
- ~1/2 of a compiler for an internal DSL: a lexer and partial parser for contextual internal DSLs☆22Aug 11, 2011Updated 14 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
- A note taking app based around GPUI. gpui-notes takes inspiration from note apps like Obsidian and Trilium.☆14Feb 8, 2024Updated 2 years ago
- A developer-friendly framework for exhaustive analysis of (PCAP and PE) files.☆14Nov 6, 2017Updated 8 years ago
- Experimental Web Connectivity implementation☆11Nov 22, 2020Updated 5 years ago
- Giter8 template for a Mill project with a Scala Hello App☆17Feb 18, 2026Updated 5 months ago
- sbt plugin for adding/updating license headers in source files☆16Sep 7, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Temporal noise reduction for videos in BRAW format to get long virtual exposure time☆32May 20, 2024Updated 2 years ago
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆65Feb 25, 2025Updated last year
- A SBT plugin to make it non-invasive to use gRPC with Scala.☆11Mar 6, 2026Updated 4 months ago
- ☆17Oct 2, 2017Updated 8 years ago
- Easily make Anki flash cards in markdown☆13Sep 20, 2019Updated 6 years ago
- A globally shared, request scoped, context for JVM based gRPC microservices☆43Aug 3, 2024Updated last year
- A SBT plugin for comparing benchmarks in your PRs☆17May 8, 2023Updated 3 years ago
- Cloud Benchmarker automates performance testing of cloud instances, offering insightful charts and tracking over time.☆39Mar 22, 2026Updated 4 months ago
- ☆12Jan 25, 2022Updated 4 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.
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- OS X / Mint / Ubuntu dotfiles☆11Aug 2, 2022Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies☆14Mar 5, 2026Updated 4 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 8 months ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 7 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 10 months ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago