JakobMeyerhöfer
Demo access
Use your username or email to open the Testify control plane directly from the homepage.
Featured project
Testify is the most concrete part of my thesis work. It is a testing library, a live demo system, and a teaching setup that you can actually open and try.
The demo is the shortest way into the repo. It shows the custom extension, the hidden runner, the browser workspace, and the hosted pieces around them instead of just talking about them.
Sign in or register in the demo hub to request access, manage approval, and launch the protected browser IDE.
Description
The library does the checking, the runner executes it behind the scenes, the extension shapes the student workflow, the live demo hosts the browser IDE, and the website is the public front door.
Written in F# on .NET 10. The library is built around quotations, reusable expectations, and property-style checks so failed tests stay readable instead of collapsing into noise.
Used for: the actual testing model, DSL, and failure reporting.
The extension is written in JavaScript and runs inside the browser IDE. It provides the Testify sidebar, task execution, submissions, and the student or mentor view of the same workspace.
Used for: the guided workflow inside the live browser workspace.
The demo system prepares curated workspaces, launches containers, proxies access, and keeps the hidden harness separate from the student files. It is the delivery layer that makes the thesis tangible instead of just described.
Used for: live sessions at /demo and the protected browser IDE.
The website stays simple on purpose. It gives the project a public home, explains the thesis pieces without a wall of text, and points visitors straight to the live demo.
Used for: a lightweight public entry point that stays out of the way.
Contact
If you want to talk about Testify, the thesis, browser demos, or teaching-friendly tooling, send me a mail.
