Stars
A high-legibility programming font engineered to minimize cognitive load.
Official and updated repository of ElecDeb60to20
This is the repository for the task of Fallacy Detection
Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 170,000+ scientists worldwide. 161 ready-to-use validated skills plus 100+ scientific databases covering bio…
Shareable Claude Code + Codex infrastructure for PhD researchers — skills, agents, hooks, and rules for academic workflows
WebGPU fluid simulation using Smoothed Particle Hydrodynamics (SPH) and PIC/FLIP methods.
AI-powered IDE for bioinformatics — built by biologists, for biologists
Web-based, professional and scalable velocimetry analysis for operational river monitoring with videos
OpenBridge design system implemented as Lit-based web components with support for all major frontend frameworks.
Hamilton-Jacobi reachability analysis in JAX.
This is a Gardening demo for Arduino
Python library for Seeedstudio Grove devices
Crawler to extract information from the Dutch Fairway Information System and the EURIS River Information Services
Model Context Protocol Servers
Convert ivef.xsd to C++, JAVA and PHP code to easily read or write IVEF
Clean PyTorch implementations of imitation and reward learning algorithms
A virtualised HPC cluster based on SLURM and Rocky Linux 9
Signal K is a JSON-based format for storing and sharing marine data from different sources (e.g. nmea 0183, 2000, seatalk, etc)
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
Code and notebooks for the Digital Twin Waterway
This is a QGIS plugin for calculating the risk of accidents at sea, based on the Equations by Friis-Hansen et al. (2008)
The official Python SDK for Model Context Protocol servers and clients
Program to decode radio transmissions from devices on the ISM bands (and other frequencies)
Transforms complex documents like PDFs and Office docs into LLM-ready markdown/JSON for your Agentic workflows.
Free, simple, and intuitive online database diagram editor and SQL generator.