Skip to main content

About Contact GitHub↗

Footnotes:

Duck would like a word.

Clinical data, useful software, and the occasional laser loon. Made by Fred, with plenty of curiosity.

Explore the projects|Inspect Stack ↗

Arcade

Arcade ↗
Laser Loon
Quasi-Puzzler
Monkey C Mayhem: Garmin Schvitz App
Clinical Trial Chaos
Trial & Error
Study Director
Retro Labyrinth
Working With Duck
Meme Vault 🔓

Systems

Work
Blog
Designing for My Brother
Under the Hood (Stack)
CRF Studio
Patrol Shift Studio
Proof Workspace
NeuroRecon Studio
Incident Simulator
About

Connect

Book a Chat ↗
Contact ↗
GitHub Repos ↗
LinkedIn ↗

Project Notes

Notes from my projects

Occasional notes on what I’m building, what I’m learning, and the bugs that put up a good fight.

Do not fill this out

© 2026 Frederick de Ruiter. All rights reserved.

•Logic & Proofs•

Home
/Interactive Suite
/Logical Proof Workspace

Logical Proof Canvas

AST Natural Deduction & Distributed Systems Formal Invariant Workbench

Curriculum Invariant CatalogStatus: ⏳ IN PROGRESS

Loading Workspace Canvas...

Ledger

Systems

Fallacy