#
Starred repositories
Voevodsky's original development of the univalent foundations of mathematics in Coq
Executable version of Structure and Interpretation of Classical Mechanics.
Local models support for Microsoft's graphrag using ollama (llama3, mistral, gemma2 phi3)- LLM & Embedding extraction
Access your entire server infrastructure from your local desktop
No fortress, purely open ground. OpenManus is Coming.
An introduction to programming language theory in Agda
An open-source, customizable intermediate logic textbook
Automated All-in-One OS Command Injection Exploitation Tool.
An LLM driven recommendation system based on Radarr and Sonarr library or watch history information
A framework for rapid prototyping and development of real-time rendering techniques.
Command and Conquer: Generals - Zero Hour
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Official repo for paper "Structured 3D Latents for Scalable and Versatile 3D Generation" (CVPR'25 Spotlight).
An airgap collecting, packaging, and installation guide for RKE2, Rancher, Longhorn and NeuVector
面向开发者的 LLM 入门教程，吴恩达大模型系列课程中文版
Build your own second brain with supermemory. It's a ChatGPT for your bookmarks. Import tweets or save websites and content using the chrome extension.
Render mathematical graphs in Obsidian
Clojure inside your Obsidian documents!
A Clojure plugin host, allowing the creation of simple Clojure-based plugins right inside Obsidian
Check if the internet connection is up
🖼️ Image Toolbox is a powerful app for advanced image manipulation. It offers dozens of features, from basic tools like crop and draw to filters, OCR, and a wide range of image processing options
A good looking terminal emulator which mimics the old cathode display...
Setup AI2Apps at local system so you can use your own OpenAI key or make more back-end features.