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.
Rust like Option and Result types in Python
- option-type
- optional
- result-type
- result
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
dOOv (Domain Object Oriented Validation) a fluent API for type-safe bean validation and mapping
high performance computing related nix resources
Turn OpenStreetMap data and schedule information into GTFS
:horse_racing: A model driven framework for the evaluation web page performance
Dependency injection for modular web applications
- dependency-injection
- ioc
- javascript
- typescript
basically a remarkable framework for building JSON-based web APIs in Golang
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
An app to search startup jobs scraped from websites written in Elixir, Phoenix, React and styled-components.
LÖVE Helper Utilities for Massive Progression
Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)
Dependency Injection Framework for Swift, inspired by KOIN.
TakaTime is a blazingly fast, privacy-first coding activity tracker and the open-source, self-hosted alternative to WakaTime. Track your development activity across Neovim, VS Code, JetBrains IDEs, and Antigravity while generating rich analytics, beautiful dashboards, and GitHub profile statistics—all powered by your own MongoDB database.
Working towards a new TAP specification
A fully typed, lightweight, and customizable terminal emulator component for Svelte 5. Features a virtual file system, custom commands, themes, and autoplay mode for demos. 🚀
ZoneTree.FullTextSearch is an open-source library that extends ZoneTree to provide efficient full-text search capabilities. It offers a fast, embedded search engine suitable for applications that require high performance and do not rely on external databases.
functional/point-free utils for JavaScript
JMeter plugin that lets you send sample results to an ElasticSearch engine to enable live monitoring of load tests.
TMX is a modern desktop terminal client for SSH workflows, built on Electron + React. It bundles a real persistent terminal (node-pty / ssh2 / xterm.js), a host manager, SFTP, snippets, an AI copilot and a built-in MCP server into a single cross-platform app (macOS / Windows / Linux).
Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs
- glfw
- glfw3
- glfw3-bindings
- java
TranslatedKaiwu engineering-assisted design: ideas are first expressed on a canvas, and multimodal AI understands the design requirements to generate concept images and output engineering goals.