Repository Index

Agda is a dependently typed programming language / interactive theorem prover.

• dependent-types
• programming-language
• proof-assistant
• agda

Viewer and exporter for Unreal Engine 1-4 assets (UE Viewer).

• umodel
• unreal
• unreal-engine
• model-viewer

:smirk: How Swift standard types and classes were supposed to work.

• uikit
• cocoapods
• carthage
• exswift

Provide support to increase developer productivity in Java when using Elasticsearch. Uses familiar Spring concepts such as a template classes for core API usage and lightweight repository style data access.

A secure persistent personal agent server in Rust. One binary, sandboxed execution, multi-provider LLMs, voice, memory, Telegram, WhatsApp, Discord, Teams, and MCP tools. Secure by design, runs on your hardware.

• rust
• ai-agent
• ai-assistant
• llm

🐹🕸️ WebAssembly runtime for Go

• webassembly
• golang
• wasm
• rust

一款面试刷题的 Spring Cloud 开源系统。零碎时间利用小程序查看常见面试题，夯实Java基础。 该项目可以教会你如何搭建SpringBoot项目，Spring Cloud项目。 采用流行的技术，如 SpringBoot、MyBatis、Redis、 MySql、 MongoDB、 RabbitMQ、Elasticsearch，采用Docker容器化部署。

In-browser Postgres sandbox with AI assistance (formerly postgres.new)

• ai
• browser
• llm
• pglite

AI based multi-label girl image classification system, implemented by using TensorFlow.

• danbooru
• tensorflow
• machine-learning

Papers and Datasets about Point Cloud.

• point-cloud
• registration
• segmentation
• classification

A modern, open source password manager for individuals and teams.

• javascript
• lit-element
• lit-html
• password-generator

🦞 OpenClaw & Hermes Agent 多引擎 AI 管理面板 — 内置 AI 助手（工具调用 + 图片识别 + 多模态），一键安装 | Tauri v2 跨平台桌面应用 | 11 种语言

• admin-panel
• ai-agent
• ai-tools
• cross-platform

Detect and bypass web application firewalls and protection systems

• bypass
• firewall
• web-application
• detection

PokeWilds - A Gen 2 Game/Engine using libGDX

:star: Use repo badges (build passing, coverage, etc) in your readme/markdown file to signal code quality in a project.

TranslatedCovers pre-training data, Tokenizer, Transformer, MoE,distributed training, Scaling Laws, inference & alignment .6 progressive code assignments for full-stack LLM learning

• gpu-programming
• llm
• nlp
• rl

Udacity Self-Driving Car Engineer Nanodegree projects.

• self-driving-car
• udacity-self-driving-car
• deep-learning
• deep-neural-networks

Graphy is the ultimate, easy to use, feature packed FPS counter, stats monitor and debugger for your Unity project.

• unity-asset
• unity
• fps-counter
• stats-monitor

How to train a TensorFlow Object Detection Classifier for multiple object detection on Windows

Jessibuca是一款开源的纯H5直播流播放器

• h5
• http-flv
• websocket-flv
• webassembly

一款功能强、可定制、跨平台，适用于班级多媒体屏幕的课表信息显示工具，可以一目了然地显示各种信息。

• dotnet
• automation
• avalonia
• classisland

LastPass command line interface tool

浸入式学语言助手 (Immersive Language Learning Assistant)

List of Awesome Asset Discovery Resources

• asset-discovery
• osint
• reconnaissance
• recon