The TLA+ Video Course by Leslie Lamport
☆14Dec 31, 2024Updated last year
Alternatives and similar repositories for lecture
Users that are interested in lecture are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ensamblado .NET para la compresión de las impresiones dactilares en formato WSQ☆12Jul 3, 2017Updated 9 years ago
- Face Image Quality Analysis for ICAO/ISO Standards☆14Nov 25, 2024Updated last year
- Stores user information in a smart card and authenticates with the fingerprint stored in the smart card☆14Feb 26, 2020Updated 6 years ago
- Azure Cosmos TLA+ specifications☆21Jan 21, 2025Updated last year
- Markdown to LaTeX☆19Jul 29, 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.
- Solutions to some exercises from Walter Rudin's Functional Analysis☆17Sep 23, 2026Updated last month
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Sep 29, 2019Updated 7 years ago
- ☆18May 19, 2026Updated 5 months ago
- Optimize your bundle size of chakra-ui☆15Dec 8, 2021Updated 4 years ago
- This is a demo project that incorporates 3D passive face liveness detection, face recognition, face capture, and analysis of face attribu…☆21Jun 15, 2026Updated 4 months ago
- ☆23May 22, 2024Updated 2 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆318Updated this week
- Simply mine Monero (XMR) with your CPU controlled via a graphical user interface.☆23Mar 23, 2018Updated 8 years ago
- This module provides an interface to the Limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS) algorithm written in C.☆12Mar 28, 2025Updated last year
- 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.
- This is a Python implementation of the sequence design algorithm DAEDALUS for scaffolded DNA origami☆20May 11, 2026Updated 5 months ago
- Query browser for sat-api☆18Dec 10, 2022Updated 3 years ago
- an anti-chiptune synth!☆11Jun 11, 2023Updated 3 years ago
- Atreus-like keyboard case generator☆12Oct 15, 2021Updated 5 years ago
- Minimalist block diagram GUI for control systems☆13Feb 1, 2026Updated 9 months ago
- ☆14Jun 18, 2023Updated 3 years ago
- ☆13Mar 19, 2021Updated 5 years ago
- Parser of the app! macro used by the Real-Time Interrupt-driven Concurrency (RTIC) framework☆17Sep 14, 2026Updated last month
- ☆13Jun 28, 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.
- 34 keys diodeless low profile ergonomic keyboard☆13Oct 12, 2021Updated 5 years ago
- Linux Audio fix + sleep/resume Apollolake Chromebook☆11Oct 28, 2022Updated 4 years ago
- ☆14Sep 24, 2009Updated 17 years ago
- Tiny Executable Wavetable Synthesizer☆15Jan 14, 2024Updated 2 years ago
- Fingerprint recognition in Python☆34Oct 28, 2026Updated last week
- Forked from Beagle_SDR_GPS for specialized add-on SDR board with 16-Bit ADC which improved from KiwiSDR.☆16Sep 15, 2020Updated 6 years ago
- 3D models for printing Raspberry Pi Pico based PlayStation accessories.☆16Jul 23, 2022Updated 4 years ago
- HYDROPT is an open-source framework for forward and inverse modelling of multi- and hyperspectral observations from oceans, coastal and i…☆26Apr 1, 2022Updated 4 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Mar 16, 2024Updated 2 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.
- Okra's lightweight embedded state of charge algorithm.☆13Dec 9, 2020Updated 5 years ago
- ☆16Nov 20, 2022Updated 3 years ago
- High performance hybrid Monte Carlo simulation☆10Sep 21, 2026Updated last month
- Introductions and notebooks about Machine Learning, Computer Vision and Artificial Intelligence etc☆12Oct 1, 2026Updated last month
- Music generation on RP2040 with CMSIS-Stream, CMSIS-DSP and Arm-2D☆19Oct 3, 2023Updated 3 years ago
- Companion to Cracking the Forward Deployed AI Engineer Interview (2026 edition).☆14Aug 3, 2026Updated 3 months ago
- Convert GeoTIFF GeoKey metadata into Proj4 strings☆33Oct 8, 2026Updated last month
Are these results useful?