mattgodbolt / correct-by-constructionView external linksLinks
Correct by Construction : a presentation given at C++ on Sea 2020
☆22Aug 11, 2020Updated 5 years ago
Alternatives and similar repositories for correct-by-construction
Users that are interested in correct-by-construction are comparing it to the libraries listed below
Sorting:
- Starquake (1987) Disassembly☆11Mar 20, 2021Updated 4 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Aug 10, 2021Updated 4 years ago
- Galaforce 1 for the Acorn Electron home computer from 1986 ( full, buildable 6502 source code )☆16Apr 4, 2019Updated 6 years ago
- Computer science fundamentals.☆21Aug 18, 2025Updated 5 months ago
- self extracting tar archives☆22Jul 7, 2017Updated 8 years ago
- NES cartridge PCB manufacturing test☆28Dec 6, 2022Updated 3 years ago
- C++20 for flag enums☆27Jun 7, 2020Updated 5 years ago
- Open source extensions for my CSpect emulator☆12Nov 13, 2025Updated 3 months ago
- A z80 disassambler aimed at easing comparison of variations of the same program☆10Feb 24, 2025Updated 11 months ago
- Gossip Membership Protocol and Fault-Tolerant Key Value Store/☆12May 29, 2015Updated 10 years ago
- Handles OpenDocument files and translates them to HTML.☆10Oct 8, 2019Updated 6 years ago
- Well optimised threading safe database engine could be used to build pretty well performed databases on top of it☆10Apr 7, 2022Updated 3 years ago
- LDD Modding Tool☆12Jan 22, 2022Updated 4 years ago
- repo for CIS 371 Spring 2018☆15Apr 14, 2018Updated 7 years ago
- Alcazar puzzle solver☆11Mar 31, 2015Updated 10 years ago
- Firmware for the 9 Pin Joystick to USB Adapter☆13Jul 18, 2021Updated 4 years ago
- A collection of functions compatible with the Opentrons API☆10Oct 28, 2022Updated 3 years ago
- Attempt at commented disassembly of C64 Crossroads 2.☆13May 8, 2019Updated 6 years ago
- JavaScript implementation of the NIST Statistical Test Suite for Random and Pseudorandom Number Generators☆12Jan 28, 2024Updated 2 years ago
- Benchmarking of virtual functions and alternatives☆36Feb 7, 2019Updated 7 years ago
- OTF/SFD versions of the RISC OS core fonts.☆14May 24, 2022Updated 3 years ago
- Configuration files for the ODRI uDriver firmware.☆11Nov 15, 2022Updated 3 years ago
- Qt based UI for visual and interactive composition and execution of MLIR compilation flows.☆12Apr 29, 2022Updated 3 years ago
- The Penultimate Cloud Image Builder☆11Dec 27, 2021Updated 4 years ago
- OpenArena version for OpenPandora, featuring ARM support and GLES renderer.. Status: Working☆15Apr 11, 2024Updated last year
- run multiple shell commands in parallel and coordinate their output☆31Jul 5, 2012Updated 13 years ago
- Interpreter written for Prolog course.☆10Feb 18, 2020Updated 5 years ago
- ☆10Nov 6, 2018Updated 7 years ago
- 非官方 TiDB 百科,目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- Python tool to capture images via Sony WiFi camera interface☆11Feb 11, 2015Updated 11 years ago
- Tool for editing FFXI DAT files.☆11Dec 18, 2025Updated last month
- a high performance server framework☆12Dec 11, 2022Updated 3 years ago
- Atom Appimage for linux 64bits☆12Nov 23, 2022Updated 3 years ago
- A game for 32-bit ARM-based Acorn Archimedes computers, originally released in January 1997 by The Fourth Dimension.☆11Dec 31, 2022Updated 3 years ago
- A view that allows iteration over a view, returning the index of each item along with each item☆13Jun 17, 2020Updated 5 years ago
- Image search based on convolutional neural network feature extraction.☆14May 11, 2018Updated 7 years ago
- Augmentinel is re-skinned version of the Geoff Crammond classic: The Sentinel☆13Aug 24, 2022Updated 3 years ago
- Minecraft Beta 1.7.3 compatible world generator☆11Nov 24, 2018Updated 7 years ago
- Rust client library for Pushover☆11Oct 14, 2025Updated 4 months ago