Skip to main content

Software dossier

Software

Scientific, institutional, and independent software with filterable technologies, repository-verified capabilities, source links, and related CV evidence.

System catalogue

Filter the complete catalogue, then inspect verified capabilities, technical basis, source links, and related research records.

10
software systems
3
catalogue groups
17
technologies
1
research case study

10 systems

Research software

01Research software

SatShor

Python toolkit and terminal workflow for acquiring Sentinel-2 products and deriving subpixel shorelines.

Inspect system
Pythonscikit-imageCDSE OData

Verified capabilities

  1. 01

    Search, filter, download, and schedule Sentinel-2 products through the Copernicus Data Space Ecosystem OData API.

  2. 02

    Optimize image coverage for a study area before product acquisition.

  3. 03

    Extract subpixel shorelines with image thresholding and marching squares.

  4. 04

    Export derived shoreline geometry as GeoJSON.

Institutional software

02Institutional software

Department Open Week booking system

Booking system developed for the Department of Geology and Geoenvironment.

Inspect system

Verified capabilities

  1. 01

    Presents selectable Open Week dates with current school-booking availability.

  2. 02

    Applies the published capacity of two school bookings per date and up to 60 students per session.

  3. 03

    Provides a responsive booking flow and on-page instructions for participating schools.

Independent software

03Independent software

Chilling-Vibes

Automation tool connecting a VS Code agent relay workflow with Google AI Studio through desktop interaction.

Inspect system
PythonPyAutoGUI

Verified capabilities

  1. 01

    Detects relay prompts and completed responses through multi-modal desktop UI recognition.

  2. 02

    Switches between the development environment and browser-based AI Studio workflow.

  3. 03

    Supports configurable retries, timeouts, and YAML-based automation settings.

04Independent software

obsidian-web-scraper

NPM package and MCP tools for converting web content into readable Markdown.

Inspect system
TypeScriptReadabilityTurndown

Verified capabilities

  1. 01

    Discovers URLs and extracts readable article content.

  2. 02

    Converts pages into Markdown using Readability and Turndown.

  3. 03

    Supports batch and full-site scraping into an Obsidian vault.

  4. 04

    Exposes scraping workflows through MCP tools.

05Independent software

Awesome Wallpapers

Application for browsing, searching, and downloading wallpapers.

Inspect system
VueTailwind CSS

Verified capabilities

  1. 01

    Responsive browsing interface with multiple collection views.

  2. 02

    Searches wallpaper metadata and supports direct downloads.

  3. 03

    Uses lazy loading for large image collections.

06Independent software

PyTutor

Rich-rendered terminal application for interactive Python instruction.

Inspect system
Python

Verified capabilities

  1. 01

    Organizes Python instruction into modular topics and lesson types.

  2. 02

    Tracks learning progress across terminal sessions.

  3. 03

    Provides keyboard navigation through a Rich-rendered interface.

07Independent software

lazyls

Lazy-loaded terminal file browser built with Gocui.

Inspect system
GoGocui

Verified capabilities

  1. 01

    Provides a dual-pane terminal file browser with directory statistics.

  2. 02

    Surfaces Git status and file-type icons alongside filesystem entries.

  3. 03

    Supports file viewing, clipboard actions, hidden files, and Vim-style navigation.

08Independent software

Carch

Interface definition language for entity-component-system architectures.

Inspect system
C++

Verified capabilities

  1. 01

    Defines ECS components, structs, variants, and enums.

  2. 02

    Supports a rich type system and two source syntaxes.

  3. 03

    Builds as a C++ project through CMake.

09Independent softwarePrototype

OpenTransfer

WebRTC peer-connection prototype with a QR-code connection hand-off.

Inspect system
WebRTCJavaScript

Verified capabilities

  1. 01

    Initializes browser-to-browser WebRTC peer connections.

  2. 02

    Provides a QR-code connection hand-off between peers.

10Independent software

Nous

Minimal keyboard-driven browser for Windows built with Rust and WebView2.

Inspect system
Rustwrytao

Verified capabilities

  1. 01

    Hosts a borderless WebView2 browser in a native Windows window.

  2. 02

    Keeps the URL bar and bookmarks available on demand.

  3. 03

    Provides a customizable wallpaper-based home view.