Lists (1)
Stars
A simple cuda version for stable fluid implemention.
Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek, Qwen, Llama, Gemma, TTS 2x faster with 70% less VRAM.
🌐 Make websites accessible for AI agents. Automate tasks online with ease.
📄 Easily create your resume with Markdown on VSCode / Typora / Obsidian
Manage your schedules in an easy and logical way! Currently PC only.
[FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
LLM verified with Monte Carlo Tree Search
[EMNLP 24] CERD: A Comprehensive Chinese Rhetoric Dataset for Rhetorical Understanding and Generation in Essays
Lab sessions for the software analysis course at East China Normal University.
Collection of resources for research concerning Machine Learning and Formal Methods.
Blender to Minecraft in seconds https://www.youtube.com/watch?v=TUw65gz8nOs
MMD Tools is a blender addon for importing/exporting Models and Motions of MikuMikuDance.
Understand Human Behavior to Align True Needs
Cheat Engine. A development environment focused on modding
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadm…
A clean, modern and robust overlay for Monster Hunter games.
LaTeX Template of Thesis for East China Normal University (ECNU)
The VerCors verification toolset for verifying parallel and concurrent software
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
A markup-based typesetting system that is powerful and easy to learn.