Uzemiu
Follow
Lists (1)
Stars
Towards AI-Assisted Synthesis of Verified Dafny Methods
A continuously updated collection of CodeLLM papers
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: http://trello.com/b/8txSM12G/roadmap
A clean, modern and robust overlay for Monster Hunter games.
华东师范大学 (East China Normal University, ECNU) 本科生学士学位论文 LaTeX 模板
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 new markup-based typesetting system that is powerful and easy to learn.
Circuit diagrams and firmware source code for Gboard DIY keyboards
IntelliJ IDEA, PyCharm, RubyMine, PhpStorm, AppCode, AndroidStudio, Goland, Rider, & WebStorm plugin for quantifying your coding.
Blind&Invisible Watermark ，图片盲水印，提取水印无须原图！