Formalisation of the linear lambda calculus in Coq
-
Updated
Dec 2, 2018 - Coq
#
honours-thesis
Here are 7 public repositories matching this topic...
4th Year Honours Thesis on Programming Language Semantics
-
Updated
Jun 13, 2016 - TeX
Record of code for honours project 'Identification and Annotation of New Protein Coding Genes in the Genome of Trypanosoma Brucei'
-
Updated
Jan 6, 2021 - Jupyter Notebook
Scripts that I have used for my Honours Thesis
-
Updated
Jan 10, 2021 - Python
Repo containing template of RMarkdown thesis for Murdoch University
-
Updated
Jan 11, 2021 - TeX
My honours thesis: Towards a Low-Cost, Non-Invasive System for Occupancy Detection using a Thermal Detector Array ("CountIR").
-
Updated
Mar 18, 2017 - TeX
Honours Research Project Prototype and Project Report (KRBROS002_OnlineSuccess.pdf) on Gamification and Critical Success Factors in an Online Introductory Course to Programming
javascript
prototype
gamification
honours-thesis
online-learning
honours-project
gamification-framework
-
Updated
Dec 21, 2021 - JavaScript
Improve this page
Add a description, image, and links to the honours-thesis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the honours-thesis topic, visit your repo's landing page and select "manage topics."