Repository Index

Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

• csharp
• algebra
• integration
• latex

A lightweight document-oriented NoSQL database written in pure Golang.

• nosql-database
• document-oriented-database
• golang
• json

Simple key-value store abstraction and implementations for Go (Redis, Consul, etcd, bbolt, BadgerDB, LevelDB, Memcached, DynamoDB, S3, PostgreSQL, MongoDB, CockroachDB and many more)

• go
• golang
• key-value
• key-value-store

Qhull development for www.qhull.org -- Qhull 2020.2 (8.1-alpha1) at https://github.com/qhull/qhull/wiki

• qhull
• computational-geometry
• convex-hull
• delaunay-triangulation

Python API for Deequ

Use glob patterns to watch file sets and run a command when anything is added, changed or deleted.

MQTT Clients and Servers in Go

Log outgoing HTTP requests in ruby

• httplog
• ruby
• logging
• http

A schema-first tool for graphql-java inspired by graphql-tools for JS

• graphql
• graphql-java
• java
• kotlin

Synopse mORMot 1 ORM/SOA/MVC framework - Please upgrade to mORMot 2 !

• delphinuspackage
• pascal
• fpc
• delphi

Library for interactive videos in React

• react
• animation
• video
• javascript

Claude Code on Android: AI-powered mobile coding IDE for Android — chat with a coding agent, run Linux commands, edit files, review diffs, and preview web apps directly from your phone. No root required.

• claude-code
• mobile-ide

TranslatedConversational AI assistant · All in Chat - puts Agent capabilities into the conversation, with no complex configuration, so you can use an Agent just like chatting. It has a built-in jailbreak character "小码酱" (Xiaomajiang, "Little Code Sauce"), and supports jailbreaking domestic Chinese models.

• ai-agent
• ai-assistants
• chatbot
• coding-assistant

Versatile Video Player implementation for iOS, macOS, and tvOS

• video
• ios
• extensible
• extensions

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

Go packages to interact with QEMU using the QEMU Machine Protocol (QMP). Apache 2.0 Licensed.

• golang
• qemu

MotionCAPTCHA jQuery Plugin - Stop Spam, Draw Shapes

TranslatedA simple yet powerful ActionSheet. Weibo, WeChat, and QQ all use extremely similar styles. Fully supports Swift.

• objective-c
• cocoapods
• actionsheet
• alert

Structure-aware skeleton loader. One Web Component, every framework.

• lit
• typescript
• webcomponent
• angular

Run Roblox Studio on Linux.

• roblox
• go
• wine
• linux

llama.cpp on a jailbroken PS5: run any GGUF model natively on the console, starting with Qwen 3.8

• homebrew
• llama-cpp
• llm
• playstation-5

Embeddable, in-memory, document-oriented database with a high-level Query builder interface.

• database
• embedable
• go
• in-memory

TranslatedSelf-hosted web and AI crawler analytics for Generative Engine Optimization (GEO). Track visitors, AI search referrals, crawl logs, content coverage, and conversions. Jointly published by 猎看科技 (Liekan Technology, "hunt and see technology") · 北京日报社智源GEO (Beijing Daily Zhiyuan GEO, "Beijing Daily Press Zhiyuan GEO"). MIT licensed.

• ai-analytics
• geo
• mit
• postgresql

Command & Conquer in HTML5/Javascript