Correct by Construction : a presentation given at C++ on Sea 2020
☆22Aug 11, 2020Updated 6 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Galaforce 1 for the Acorn Electron home computer from 1986 ( full, buildable 6502 source code )☆16Apr 4, 2019Updated 7 years ago
- Slides on how Wolf and maybe one day other ID games worked☆18Jan 5, 2023Updated 3 years ago
- Game Boy Advance port of the Atari ST demo STNICCC 2000 by Oxygene☆28Aug 26, 2024Updated 2 years ago
- Slides for the C++ on Sea conference☆109Nov 22, 2023Updated 2 years ago
- NES cartridge PCB manufacturing test☆30Dec 6, 2022Updated 3 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.
- archive of demoscene related live coding events☆26Updated this week
- Library for Implementing C# Commands☆11May 28, 2025Updated last year
- Rust bindings to frameworks made by Apple☆12Feb 13, 2023Updated 3 years ago
- Minecraft Beta 1.7.3 compatible world generator. ARCHIVED: This code has been moved to a monorepo, please see https://github.com/coderbot…☆11Nov 24, 2018Updated 7 years ago
- Check the dependencies of tools-deps-based Clojure projects for vulnerabilities☆13Apr 17, 2019Updated 7 years ago
- Sample scenes for appleseed☆10Sep 4, 2019Updated 7 years ago
- 💻 Transpiler written in OCaml that that converts a subset of golang to C++☆10Mar 9, 2020Updated 6 years ago
- Concurrent hash tries for C++ 14 with no memory management whatsoever.☆10Aug 30, 2016Updated 10 years ago
- This is the NoSql database used by CrossLine and other tools by Rochus☆11Mar 21, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- von Neumann' architecture in von Neumann's CA☆15Sep 2, 2020Updated 6 years ago
- BBC Micro 6502 3D Graphics Renderer by Nick Jameson☆31Nov 4, 2016Updated 10 years ago
- Handles OpenDocument files and translates them to HTML.☆11Oct 8, 2019Updated 7 years ago
- Raylib game development library bindings and examples for XD Pascal☆11Mar 26, 2020Updated 6 years ago
- JS script to deduce a visitors' browser history from a manifest file of websites.☆13Sep 26, 2014Updated 12 years ago
- Linux File System Game☆12Oct 7, 2019Updated 7 years ago
- Fully documented source code for the classic game Elite on the Acorn Electron☆34Updated this week
- demonstration of live reloading☆15Feb 16, 2018Updated 8 years ago
- Benchmarks and faster constructs for Clojure☆14Apr 9, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Lode Runner (BBC Micro version) disassembled☆25May 9, 2021Updated 5 years ago
- A Logic World mod that adds movement to the game☆13Nov 14, 2021Updated 4 years ago
- John Jordan's reverse engineering of Frontier: First Encounters.☆36Jun 2, 2015Updated 11 years ago
- simple, portable public domain install script for use in Makefiles☆16Feb 7, 2024Updated 2 years ago
- Examples from my Efficient C for ARM training course☆12Aug 27, 2012Updated 14 years ago
- A gameboy emulator in zig☆14May 29, 2019Updated 7 years ago
- A utility for reinterpreting binary data as images.☆104Jul 31, 2023Updated 3 years ago
- Realtime graphics rendering engine built on vulkan.☆13Oct 29, 2022Updated 4 years ago
- This is the Lola-2 parser used by LolaCreator☆14Apr 24, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Disassembly of the Game Boy Advance BIOS☆46Nov 8, 2020Updated 5 years ago
- Cairo lua bindings with extensions for torch☆15Jun 12, 2016Updated 10 years ago
- Autodesk Forge Viewer WebComponent☆10Dec 30, 2022Updated 3 years ago
- C compiler for the BBC Micro Series☆34Jun 17, 2019Updated 7 years ago
- A SID player for the Gameboy Advance☆12Feb 25, 2018Updated 8 years ago
- ☆12Dec 1, 2017Updated 8 years ago
- Open source portable free ZX Spectrum emulator☆12Oct 9, 2026Updated 3 weeks ago