Projects in Awesome Lists by liyang
A curated list of projects in awesome lists by liyang .
https://github.com/liyang/fast-math
Play fast and loose with IEEE-754 rewrite RULES
Last synced: 23 Apr 2025
https://github.com/liyang/google-mail-filters
Write GMail filters and output to importable XML
Last synced: 30 Jul 2025
https://github.com/liyang/thesis
Compiling Concurrency Correctly—Verifying Software Transactional Memory
agda concurrency formal-proofs proof proof-assistant software-transactional-memory thesis
Last synced: 14 Feb 2026
https://github.com/liyang/stm-proof
Correctness proof of a log-based semantics for software transactional memory with respect to a stop-the-world semantics, using Agda.
Last synced: 07 Jan 2026
https://github.com/liyang/google-search
EDSL for Google and GMail search expressions
Last synced: 29 Mar 2025
https://github.com/liyang/spoon
Catch errors thrown from pure computations.
Last synced: 29 Mar 2025
https://github.com/liyang/value-change-dump
Streaming parser/builder for the value change dump (VCD) format
Last synced: 24 Aug 2025
https://github.com/liyang/system-posix-redirect
A toy module that allows you to temporarily redirect a program's stdout.
Last synced: 25 Oct 2025