Repository Index

A tool in Python to fix invalid GeoJSON objects and files

• geojson
• validation
• fix
• python

Nosis is a lightweight personal agent runtime: per-session execution boundaries with OS-level sandboxing, computer use, a full built-in toolset, Skill / Plugin / MCP extensions, one runtime shared by GUI and TUI, and file-persisted sessions, plans, and memory.

• agent-framework
• agent-runtime
• agent-skills
• ai-agent

Replication package of the paper titled "How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems" published at ICSE-SEIP 2020

• ros
• robotics
• robotics-programming
• dataset

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

• code-formatter
• code-generation
• mypy
• pyannotate

Source-available semantic and context layer, rule engine, and semantic sidecar for agentic AI and governed analytics. Compiles declarative YAML models into optimized SQL, KPIs, and semantic context across 8 SQL dialects.

• clickhouse
• databricks
• dremio
• mcp

TranslatedVRS Application Recommendation System (志愿 "zhiyuan", college application choices): FastAPI + Neo4j + DeepSeek, with Zhejiang gaokao (college entrance exam) historical data as an example, including Excel data templates.

A collection of helper programs and a helper library for Ledger (ledger-cli)

Tools to use a collection of notebooks as 'chapters'

Python decorator for async properties.

A Wagtail project made to simplify creation of resumes for developers.

• wagtail
• django
• resume
• resume-template

Dependency Combobulator

• security
• secure-coding
• sdlc
• dependency-confusion

Replay HTTP and HTTPS requests from a PCAP based on TLS Master Secrets.

Opinionated typing package for precise type hints in Python

• pep484
• python
• python-typing
• numpy

In this project, the Pacman agent will find paths through his maze world, both to reach a particular location and to collect food efficiently. I implemented general search algorithms such as depth-first, breadth-first, uniform cost, and A* search algorithms which are used to solve navigation problems in the Pacman world.

Digit recognition with neural network

Synthetic Adversarial Log Objects: A Framework for synthentic log generation

Ragpicker is a Plugin based malware crawler with pre-analysis and reporting functionalities. Use this tool if you are testing antivirus products, collecting malware for another analyzer/zoo.

MicroPython driver for Soldered Inkplate devices

• e-ink-display
• epaper-displays
• epaper-screen

Analyzer to inspect network packets generated by the SMPTE ST 2110 specification.

Toolbox for the analysis of smFISH images.

• pattern-classification
• rna-localization
• segmentation
• smfish

boto3 code assistance for any API in any IDE, always up to date

• boto3
• codecompletion

AI-powered SDK featuring algorithmic trading, backtesting, deployment on 100+ exchanges, and multiple optimization engines.

• ai
• algorithmic-trading
• crypto
• machine-learning

Effects of packers on machine-learning-based malware classifiers that use only static analysis

[ACL 2025] The official implementation of the paper "PIGuard: Prompt Injection Guardrail via Mitigating Overdefense for Free".