-
525m.com
- ShangHai
- http://www.imtz.info
- All languages
- Batchfile
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Go
- Go Template
- HTML
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- M4
- Makefile
- OCaml
- PHP
- Perl
- PowerShell
- Python
- Racket
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Solidity
- Starlark
- Swift
- SystemVerilog
- TSQL
- TypeScript
- XSLT
- Zig
Starred repositories
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
High-performance AI coding agent CLI written in Rust with zero unsafe code
Claude Autoresearch Skill — Autonomous goal-directed iteration for Claude Code. Inspired by Karpathy's autoresearch. Modify → Verify → Keep/Discard → Repeat forever.
Comet: agent skill harness for turning ideas into evaluated workflows
🙌 OpenHands: AI-Driven Development
A unified agent memory workspace for human and agent
GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a git repository (Github, Gitlab, Azure, Local) or…
A GUI manager for WSL featuring a modern UI — a lightweight, low‑memory, high‑performance dashboard to manage WSL instances.
Docmost is an open-source collaborative wiki and documentation software. It is an open-source alternative to Confluence and Notion.
Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative workspace where you achieve more without losing control of your data. The leading open source Notion alternative.
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
The Operating System for Human Flourishing
Production-grade engineering skills for AI coding agents.
Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation
Ultra-high performance distributed storage system in the AI era. Powered by Fractal ART engine, Rust-native, io_uring, with multi-protocol (S3 object storage, POSIX FS, ...)
An agentic skills framework & software development methodology that works.
”数学不难“ 之 《概率统计不难》;先占个坑,请大家多支持,希望不弃坑
Book_5_《统计至简》 | 鸢尾花书:从加减乘除到机器学习;上架!
Book_6_《数据有道》 | 鸢尾花书:从加减乘除到机器学习;欢迎大家批评指正!纠错多的同学会得到赠书感谢!
Book_7_《机器学习》 | 鸢尾花书:从加减乘除到机器学习;欢迎批评指正
Book_4_《矩阵力量》 | 鸢尾花书:从加减乘除到机器学习;上架!
Book_1_《编程不难》 | 鸢尾花书:从加减乘除到机器学习;请多多批评指正!