Repository Index

H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.

• static-analysis
• ros
• quality-assurance
• robotics

Evidence-grounded multi-agent fundamental research and fact-audit system for A-share listed companies.

A little bit of Arknights: Endfield on your computer. Open a layered, animated HUD from the menu bar for notes, files, music, game stats, and everyday tools.

SFSymbols 6 through 1.1 at your fingertips!

• sfsymbol
• sfsymbol6

A lightweight simulator app for iPhone, iPad, Apple Watch, Apple TV, and Apple Vision Pro.

• coresimulator
• developer-tools
• ios-simulator
• macos

SHAInet - a pure Crystal machine learning library

• neural-network
• machine-learning
• deep-learning
• deep-neural-networks

A Low-Latency, High Performance and Extensible WebAssembly Backend Library

A Highly Accessible and Automated Virtualization Platform for Security Education

• cybersecurity
• virtualization
• docker
• virtualbox

A light syntax theme for Atom

• atom-theme
• color-theme
• atom-editor

TranslatedA simple and light excel file reader to read a standard excel as a table faster | A lightweight Excel data reading library that parses Excel in a more `relational database` way.

• xlsx
• reader
• go
• golang

🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.

• javascript-framework
• react-components
• web-components
• dataformsjs

⚡ Lightning fast terminal.

Stop upgrade, most of features were delivered in https://github.com/xjsender/haoide-vscode

• lightning
• apex
• salesforce
• sublime

Free self-hosted mangas/comics/light novels media server

• api
• comicinfo
• comics
• java

Practical volume computation and sampling in high dimensions

• geometry
• statistics
• polyhedral-computations
• random-walk

Alternating Minimization Based Trajectory Generation for Quadrotor Aggressive Flight

• robotics
• quadrotor
• trajectory-optimization
• motion-planning

BQB is a lightweight and easy to use query builder that works with sqlite, mysql, mariadb, postgres, and others.

• sql
• query-builder
• go
• postgresql

A lightweight, generic F# database abstraction.

• fsharp
• ado-net
• dotnet
• sql

Multi-line editor control, with syntax highlighting, for Lazarus

• lazarus
• pascal
• text-editor
• syntax-highlighting

A lightweight, simple FTP server. Pure Java, no dependencies.

• ftp
• ftp-server
• java
• minimal

Expertiza is a web application through which students can submit and peer-review learning objects (articles, code, web sites, etc). The Expertiza project is supported by the National Science Foundation.

• ruby
• peer-reviews
• rails-application
• students

A polite, well mannered and thoroughly upstanding testing framework for Elixir

• testing

Skill for AI agents that draws publication-quality scientific schematic figures as vector code

• agent-skill
• claude-code
• codex
• llm

TranslatedDeterministic HTML-to-MP4 renderer: seek to t, screenshot, encode. No framework, no build step, no GPU. Make videos frame by frame with code: HTML / Canvas animation → MP4 / GIF / transparent layer

• agent-skill
• animation
• canvas
• ffmpeg