Skip to content
View PHTPSN's full-sized avatar

Organizations

@XDU-Math

Block or report PHTPSN

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

AlethOS ToolPassport is a structured audit index for AI tools. It groups long-horizon, standard-driven audit runs around stable tool identities, binds findings to evidence, preserves audit provenan…

Rust 1 Updated Jun 16, 2026

💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.

SCSS 3 Updated Apr 6, 2026

A system for computational category theory and applications

Jupyter Notebook 41 1 Updated Jun 27, 2016

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…

TypeScript 42,426 4,796 Updated Jun 18, 2026

把前任蒸馏成 AI Skill,用ta的方式跟你说话。

Python 5,596 521 Updated Apr 8, 2026

🚀 500+ curated resources for Data Analysis & Data Science: Python, SQL, Statistics, ML, AI, Visualization, Cheatsheets, Roadmaps, Interview Prep. For beginners and experts.

1,441 209 Updated Jun 2, 2026

Langflow is a powerful tool for building and deploying AI-powered agents and workflows.

Python 149,812 9,287 Updated Jun 18, 2026

Open-source implementation of AlphaEvolve

Python 6,569 1,050 Updated Mar 18, 2026

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

TypeScript 193,042 58,648 Updated Jun 18, 2026

Make AG2 Agents Collaborate: Drag, Drop, and Orchestrate with Waldiez

TypeScript 129 12 Updated May 13, 2026

An open-source long-horizon SuperAgent harness that researches, codes, and creates. With the help of sandboxes, memories, tools, skill, subagents and message gateway, it handles different levels of…

Python 71,488 9,696 Updated Jun 18, 2026

Open-source AI coworker, with memory

TypeScript 14,994 1,534 Updated Jun 17, 2026

🌊 The leading agent meta-harness for Claude. Deploy intelligent multi-agent swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning swa…

TypeScript 60,104 6,965 Updated Jun 18, 2026

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

C# 19,953 4,948 Updated Jun 18, 2026

Formalization of "Analysis I" by Terence Tao

Lean 24 Updated Apr 17, 2026

Research and development (R&D) is crucial for the enhancement of industrial productivity, especially in the AI era, where the core aspects of R&D are mainly focused on data and models. We are commi…

Python 13,527 1,691 Updated Jun 15, 2026

Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, i…

Python 44,741 7,097 Updated Apr 22, 2026

Elevate your AI research writing, no more tedious polishing ✨

28,836 2,231 Updated May 18, 2026

小红书笔记 | 评论爬虫、抖音视频 | 评论爬虫、快手视频 | 评论爬虫、B 站视频 | 评论爬虫、微博帖子 | 评论爬虫、百度贴吧帖子 | 百度贴吧评论回复爬虫 | 知乎问答文章|评论爬虫

Python 51,398 10,756 Updated Jun 18, 2026

An Open Phone Agent Model & Framework. Unlocking the AI Phone for Everyone

Python 25,558 3,983 Updated Mar 6, 2026

Searching numerical solutions of the moving sofa problem

Jupyter Notebook 61 8 Updated Mar 12, 2026

基于多智能体LLM的中文金融交易框架 - TradingAgents中文增强版

Python 28,660 6,067 Updated Apr 20, 2026

Build for ETHShanghai 2022

JavaScript 6 8 Updated Oct 10, 2022

MarryWise-LLM: AI-Powered Suitor Analysis. "Can you marry this man?" Let AI uncover the secrets of dating.

Python 113 8 Updated Jul 6, 2024

An AI-powered agent system generating and verifying Lean 4 code, translating natural language problems into formally proven programs using multi-agent reasoning techniques.

Python 13 Updated May 30, 2025
JavaScript 24 6 Updated Apr 21, 2025

Template for Obsidian community plugins with build configuration and development best practices.

TypeScript 4,308 1,705 Updated May 29, 2026

Note Companion: AI assistant for Obsidian that goes beyond just a chat. (prev File Organizer 2000)

TypeScript 847 121 Updated Jun 18, 2026

Fabric is an open-source framework for augmenting humans using AI. It provides a modular system for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

Go 42,452 4,172 Updated Jun 9, 2026

Brain-inspired Cognitive Intelligence Engine (BrainCog) is a brain-inspired spiking neural network based platform for Brain-inspired Artificial Intelligence and simulating brains at multiple scales…

Python 632 108 Updated Nov 6, 2025
Next