Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with honours-thesis
A curated list of projects in awesome lists tagged with honours-thesis .
https://github.com/michaelsproul/dblib-linear
Formalisation of the linear lambda calculus in Coq
coq honours-thesis lambda-calculus programming-language proof software-verification type-system
Last synced: 23 Oct 2024
https://github.com/michaelsproul/honours-thesis
4th Year Honours Thesis on Programming Language Semantics
coq honours-thesis programming-language software-verification type-system
Last synced: 16 Dec 2024