honours-thesis

There are 7 repositories under honours-thesis topic.

michaelsproul/dblib-linear
Formalisation of the linear lambda calculus in Coq
Language:Coq10 3 1
michaelsproul/honours-thesis
4th Year Honours Thesis on Programming Language Semantics
Language:TeX1 3 20
anglimin/honours_thesis_code
Scripts that I have used for my Honours Thesis
Language:Python0 1 00
atyndall/countir
My honours thesis: Towards a Low-Cost, Non-Invasive System for Occupancy Detection using a Thermal Detector Array ("CountIR").
Language:TeX0 1 00
e-marriott/honours_project
Record of code for honours project 'Identification and Annotation of New Protein Coding Genes in the Genome of Trypanosoma Brucei'
Language:Jupyter Notebook0 2 01
roscoekerby/gamification-prototype
Honours Research Project Prototype and Project Report (KRBROS002_OnlineSuccess.pdf) on Gamification and Critical Success Factors in an Online Introductory Course to Programming
Language:JavaScript0 1 00
siobhon-egan/thesisdownMU-honours
Repo containing template of RMarkdown thesis for Murdoch University
Language:TeX1 0