Boogie Proofgen

c# uabe for newer versions of unity

A static verifier for Rust, based on the Viper verification infrastructure.

Revive unavailable songs for Netease Cloud Music (Refactored & Enhanced version)

Goose converts a subset of Go to Rocq

Verifying concurrent storage and distributed systems

The CompCert formally-verified C compiler

Verified Rust for low-level systems code

Creusot helps you prove your code is correct in an automated fashion.

Course on Metaprogramming

CakeML: A Verified Implementation of ML

Download sheet music

The modding API for Stardew Valley.

Poly/ML

Avalonia-based .NET Decompiler (port of ILSpy)

A library for patching, replacing and decorating .NET and Mono methods during runtime

The HOL Light theorem prover

A fast and clever hex editor for macOS

Lean 4 programming language and theorem prover

基于小鹤双拼加鹤形辅助码的 Rime 配置方案，内附多种特色功能：词条置顶，强制删词，隐藏词条，词条降频，手动造词(中英)，全码唯一自动顶词上屏(单字和部分词)， 长词优先(成语短语简拼)，英文大小写多格式输入，中英自动加空格，上屏历史回溯，快捷启动与切换App应用，多格式日期星期时间输入，长期更新 800W 词库

Powerful menu bar manager for macOS

LaTeX template for a PhD thesis at ETH Zurich

墨奇音形，打造最强双拼辅助码rime输入方案，让天下双拼用户人人用得上辅助码。基于雾凇-白霜词库，支持小鹤双拼、自然码双拼、搜狗双拼、微软双拼等多种双拼，辅助码支持墨奇码（原创拆分开源支持4万字）、自然码部首辅、小鹤音形（鹤形辅）等，支持双拼和辅助码之间排列组合，支持整句/字词输入。不认识的字可以笔画、部件拆字、仓颉码反查。支持aw、aj模式输入英文、日文，支持双拼并击输入、emoji、快符…

Video stabilization using gyroscope data

darktable is an open source photography workflow application and raw developer