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…☆57Jun 7, 2024Updated 2 years ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆37Feb 25, 2024Updated 2 years ago
- Web app delivering 40Hz light and sound stimulation for gamma entrainment research☆31Jan 30, 2024Updated 2 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆98Jan 19, 2024Updated 2 years ago
- See the most influential users who have starred or forked a given repo (sorted by earned stars and follower count)☆23Aug 17, 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.
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆105Feb 23, 2024Updated 2 years ago
- Network observer that tracks outbound connections from AI CLI processes (Claude Code, Codex, Gemini), attributing sockets to providers in…☆31Oct 19, 2026Updated last week
- An Analysis of Public PPP Loan Data To Uncover Fraud☆16Feb 20, 2025Updated last year
- Real-time monitoring dashboard for AI coding agent fleets: session health, output streaming, and observability across Claude, Codex, and …☆25Oct 14, 2026Updated 2 weeks ago
- Fixes misaligned right borders in ASCII art diagrams with a single command☆31Oct 14, 2026Updated 2 weeks ago
- Prevent processes from taking down your machine or making it unresponsive.☆31Updated this week
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆176Feb 27, 2025Updated last year
- Git-versioned backup tool for AI coding agent config folders (Claude Code, Cursor, Codex, etc.) with size-based rotation and easy restora…☆36Updated this week
- Solutions of the exercises of the HoTT book☆23Dec 15, 2016Updated 9 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.
- ☆10Mar 4, 2026Updated 7 months ago
- Windows desktop search engine combining NTFS MFT enumeration (instant filename search) with Tantivy full-text content indexing, in a mult…☆30Updated this week
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- Automatically turn your SQLalchemy Data Models into a Nice SVG Diagram☆295Feb 27, 2025Updated last year
- Zero-setup bash CLI that downloads full-resolution images from iCloud/Dropbox/Google Photos share links, bridging iPhone screenshots to r…☆45Oct 14, 2026Updated 2 weeks ago
- Tmux session management toolkit for spawning and coordinating multiple AI coding agents across tiled panes☆12Sep 21, 2026Updated last month
- CLI tool that converts public share links from ChatGPT, Gemini, Grok, and Claude into clean Markdown and static HTML transcripts with Git…☆29Updated this week
- A tiny, CPU-efficient transformer for generating ASCII art with 2D positional encoding☆13Updated this week
- Clean-room Rust reimplementation of SciPy with Condition-Aware Solver Portfolio (CASP) — runtime algorithm selection driven by conditioni…☆16Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Work in progress on semi-simplicial types☆25Dec 15, 2022Updated 3 years ago
- Convert Suno AI audio to CD quality (44.1kHz 16-bit WAV) in your browser☆13Sep 21, 2026Updated last month
- Generate (message) sequence diagrams from TLA+ state traces☆75Feb 5, 2023Updated 3 years ago
- Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo☆15Dec 8, 2023Updated 2 years ago
- Mesh-native protocol and Rust connector library for secure AI agent integration with external services: Twitter, Linear, Stripe, Discord,…☆95Updated this week
- ☆14Feb 3, 2025Updated last year
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 3 years ago
- Memory-safe Rust userspace filesystems via FUSE and offline-image tools: a mature ext4 + btrfs base expanding to FAT16/FAT32, NTFS and ZF…☆23Updated this week
- Claude Code hook that detects context compaction and injects a reminder to re-read AGENTS.md, preventing post-compaction rule amnesia in …☆55Oct 14, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆15Sep 6, 2024Updated 2 years ago
- Copy-paste curl|bash one-liners to install every tool in the Agent Flywheel ecosystem: 23+ CLIs for AI agent orchestration, memory, secur…☆18Mar 22, 2026Updated 7 months ago
- High-performance vector similarity library in Rust with Python bindings: Spearman, Kendall, distance correlation, Jensen-Shannon, Hoeffdi…☆429Sep 4, 2026Updated last month
- A Go library for reading, writing, and manipulating Office Open XML (OOXML) documents.☆18Oct 5, 2026Updated 3 weeks ago
- TUI for combining source code files into LLM-ready prompts: tree explorer, syntax preview, token estimation, and structured XML output☆23Updated this week
- An extremely concatenative programming language☆22Sep 27, 2023Updated 3 years ago
- Intercepts cargo/gcc builds from AI coding agents via hooks and transparently routes them to remote worker machines, returning artifacts …☆69Updated this week