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☆12Mar 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
- Game Boy Advance port of the Atari ST demo STNICCC 2000 by Oxygene☆27Aug 26, 2024Updated last year
- Fully documented source code for the classic game Elite on the Acorn Electron☆32Feb 21, 2026Updated last week
- Slides for the C++ on Sea conference☆109Nov 22, 2023Updated 2 years ago
- C++20 for flag enums☆27Jun 7, 2020Updated 5 years ago
- C compiler for the BBC Micro Series☆33Jun 17, 2019Updated 6 years ago
- Carbon language specification and documentation.☆24Feb 25, 2026Updated last week
- Crazee Rider for the Acorn Electron home computer ( full, buildable 6502 source code )☆37Apr 2, 2019Updated 6 years ago
- Open source extensions for my CSpect emulator☆12Feb 23, 2026Updated last week
- A fast and memory efficient hashmap using sorting to resolve collisions☆43Nov 16, 2020Updated 5 years ago
- Firmware for the 9 Pin Joystick to USB Adapter☆13Jul 18, 2021Updated 4 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
- Attempt at commented disassembly of C64 Crossroads 2.☆13May 8, 2019Updated 6 years ago
- Alcazar puzzle solver☆11Mar 31, 2015Updated 10 years ago
- Plays Tracker and Desktop Tracker modfiles from the Acorn Archimedes☆12Apr 13, 2019Updated 6 years ago
- A z80 disassambler aimed at easing comparison of variations of the same program☆10Feb 24, 2025Updated last year
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Feb 24, 2026Updated last week
- Gossip Membership Protocol and Fault-Tolerant Key Value Store/☆12May 29, 2015Updated 10 years ago
- BBC Micro VDU driver Javascript library for web☆13Feb 4, 2022Updated 4 years ago
- SAT-based generator for Alcazar puzzles☆11Jun 7, 2024Updated last year
- Configuration files for the ODRI uDriver firmware.☆11Nov 15, 2022Updated 3 years ago
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- This is a dedicated repository for the User Interface (Front End) components of the Aardwolf Project :)☆10Feb 3, 2026Updated last month
- a git implementation in rust. yeah, I know..☆12Jun 10, 2016Updated 9 years ago
- Linux File System Game☆12Oct 7, 2019Updated 6 years ago
- OTF/SFD versions of the RISC OS core fonts.☆14May 24, 2022Updated 3 years ago
- Rust client library for Pushover☆11Oct 14, 2025Updated 4 months ago
- ☆18May 31, 2015Updated 10 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆15Dec 16, 2024Updated last year
- OpenArena version for OpenPandora, featuring ARM support and GLES renderer.. Status: Working☆15Apr 11, 2024Updated last year
- The Penultimate Cloud Image Builder☆11Dec 27, 2021Updated 4 years ago
- A Rust library for building emulators based on various ZX Spectrum computer models and clones.☆11Aug 2, 2023Updated 2 years ago
- Adding single header files in zig programs☆10Mar 17, 2022Updated 3 years ago
- A file storage system for the BBC Micro☆17Feb 14, 2026Updated 2 weeks 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
- Fast and high-concurrent C++ RPC framework, based on protobuf and boost::asio☆10Aug 16, 2019Updated 6 years ago
- Oldest Delphi sources of crypto-application (find in web archive)☆10Nov 23, 2016Updated 9 years ago