Projects in Awesome Lists by emptylambda
A curated list of projects in awesome lists by emptylambda .
https://github.com/emptylambda/pythonscripts
a small python-based parser/reader for Abaqus inp files
Last synced: 03 Oct 2025
https://github.com/emptylambda/blt
Boogie-less-triggers
blt boogie tptp trigger verification-conditions
Last synced: 17 Oct 2025
https://github.com/emptylambda/mu-gie
same old Boogie with a mutating twist
Last synced: 26 Jan 2026
https://github.com/emptylambda/boogiecollection
a collection of Boogie benchmarks
Last synced: 11 Feb 2026
https://github.com/emptylambda/pywa
A Python-based toolbox for WAMIT models
Last synced: 22 Jun 2025
https://github.com/emptylambda/10_minutes_cs
A computer science topic explained in 10 minutes
Last synced: 27 Jan 2026
https://github.com/emptylambda/bigfiveprofile
A small testing repo for Spring Boot
Last synced: 19 Feb 2026
https://github.com/emptylambda/majortom
ground control to Major Tom the Spacer :)
Last synced: 29 Jan 2026
https://github.com/emptylambda/keysymposium2018
KeY Symposium 2018 @Goteborg
Last synced: 07 Feb 2026
https://github.com/emptylambda/links
collection of practical links from the web
Last synced: 26 Jan 2026