一款免费开源的 AI 低代码平台，也是 AI 时代构建复杂业务系统的开源基座！权限、多租户、工作流、报表、大屏、AI 知识库等通用能力开箱即用，AI 只需生成业务差异部分。AI Skills 一句话生成完整系统——建表、前后端代码、菜单权限、BPM 流程、表单、报表、大屏全自动。内置 AI 应用平台（聊天、知识库、流程编排、MCP），兼容主流大模型
- antd
- activiti
- codegenerator
- springcloud
Repository Index
64,764 visible repositories in the index
1–24 of 53 · Most stars
PlayStation 4 emulator for Windows, Linux, macOS and FreeBSD written in C++
If you want to become good at AI engineering & system design, join this newsletter 👇
- computer-science
- interview-questions
- software-engineering
- system-design
TranslatedList of personally collected books PDF download Baidu Cloud e-book download
TranslatedOne-click reinstall OS on VPS
- reinstall
- vps
- netboot
- netinstall
LangChain4j is an idiomatic, open-source Java library for building LLM-powered applications on the JVM. It offers a unified API over popular LLM providers and vector stores, and makes implementing tool calling (including MCP support), agents and RAG easy. It integrates seamlessly with enterprise Java frameworks like Quarkus and Spring Boot.
- huggingface
- java
- langchain
- openai
Extremely fast non-cryptographic hash algorithm
- xxhash
- smhasher
- hash-functions
- c
Lean 4 programming language and theorem prover
- lean4
- lean
Use your locally running AI models to assist you in your web browsing
- chat-application
- chrome-extension
- open-source
- localllm
Official repository vuls Scan: 15000+PoCs; 23 kinds of application password crack; 7000+Web fingerprints; 146 protocols and 90000+ rules Port scanning; Fuzz, HW, awesome BugBounty( ͡° ͜ʖ ͡°)...
- attack
- auto
- golang
- hacker
Walk through an infinite, procedurally generated city
- procjam
- wavefunctioncollapse
- unity
Acceptance rates for the major AI conferences
The math library of Lean 4
- lean4
Snippet Engine for Neovim written in Lua.
pgAdmin is the most popular and feature rich Open Source administration and development platform for PostgreSQL, the most advanced Open Source database in the world.
- administration
- database
- dba
- management
Portable AI agent runtime for the JVM. One @Agent class runs on Spring AI, LangChain4j, Anthropic, or 9 more behind one SPI. Token streaming, tool calls, human approvals, and governance over WebSocket, SSE, gRPC, or WebTransport/HTTP3. Speaks MCP, A2A, and AG-UI.
Hit your Claude Code usage limit? Keep going free and offline on a local model: Qwen 3.8, Gemma 4, and Qwen 4 the day it ships. Runs on Apple Silicon Macs (MLX), Linux and Windows (llama.cpp) with no API key. Your code stays home.
- ai-privacy
- anthropic
- apple-silicon
- claude-code
Translated:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place!
The repository host gives no description.
Sequence to Sequence Learning with Keras
【egg rolls】JLPT N1～N5 一万词 Anki 牌组【简／繁】【语音＆例句】；Anki，日语，日文，日本語，牌组，卡组，牌組，卡組，能力考，日檢
- anki
- japanese
- jlpt
- n1
Help the front End community to rock interview
- javascript
- interview-questions
- javascript-interview-questions
- front-end-interview
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp