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
- A Full Transcript and Slides from the talk "Attacks on Anonymity Systems: The Theory" by Len Sassaman and Roger Dingledine in 2003☆17Feb 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…☆26Sep 29, 2023Updated 3 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆98Jan 19, 2024Updated 2 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.
- A package manager that uses curses to provide a friendly UI☆12May 17, 2023Updated 3 years ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆37Feb 25, 2024Updated 2 years ago
- ☆22Sep 8, 2024Updated 2 years ago
- 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☆105Feb 23, 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
- 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☆14Jun 26, 2026Updated 3 months ago
- YouTube Transcript Cleaner is a simple web-based application that improves the readability of YouTube transcripts.☆30Feb 27, 2025Updated last year
- 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.
- ~1/2 of a compiler for an internal DSL: a lexer and partial parser for contextual internal DSLs☆22Aug 11, 2011Updated 15 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
- Donatello is a DotNet lisp-like language☆10Apr 17, 2020Updated 6 years ago
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆64Feb 25, 2025Updated last year
- Temporal noise reduction for videos in BRAW format to get long virtual exposure time☆32May 20, 2024Updated 2 years ago
- Run small snippets of Go code from the command line☆26Mar 17, 2023Updated 3 years ago
- Rust implementation of the NEAT evolutionary algorithm☆24Jan 17, 2021Updated 5 years ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆16May 26, 2025Updated last year
- Local release tool that reuses your GitHub Actions workflow YAML to build via nektos/act when CI queues are throttled, then uploads artif…☆76Updated this week
- 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.
- ☆12Jan 25, 2022Updated 4 years ago
- OS X / Mint / Ubuntu dotfiles☆11Aug 2, 2022Updated 4 years ago
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- ☆22Updated this week
- MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies☆14Mar 5, 2026Updated 6 months ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Agda to C compiler☆11Sep 23, 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
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- B-field implementation in Rust☆204Jun 24, 2025Updated last year
- Minimalist compiler course, based on Essential of Compilation☆11Jun 22, 2026Updated 3 months ago
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 5 years ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- Ramblings in art and craft of Emacs init file configuration and Elisp.☆10Jan 7, 2021Updated 5 years ago
- An Eulerian fluid simulation written in Rust to learn the language☆13Mar 16, 2024Updated 2 years ago
- ☆10Nov 11, 2019Updated 6 years ago