Yangtze Files

Brought to you by: neilyu

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
New Folder	2010-04-10
OldFiles	2006-04-15
release.tar.gz	2015-12-07	472.2 kB
code.tar.gz	2010-04-11	6.3 MB
Totals: 4 Items		6.7 MB

You Might Also Like

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Melis Platform is an enterprise-grade Low Code Platform simplifying app creation, management, and delivery.

Ideal for websites, apps, e-commerce, CRMs, and more

Melis is a new generation of Content Management System and eCommerce platform to achieve and manage websites from a single web interface easy to use while offering the best of open source technology.

Learn More

Recommended Projects

CTL-RP
CTL-RP is a theorem prover for Computation Tree Logic (CTL)
DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
Molle
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
NCHC-TDW
NCHC's Tiled Display Wall ToolKits (TDW)
Agda
Agda is a dependently typed programming language

Yangtze Files

Get an email when there's a new version of Yangtze