Pinned Repositories
C
My excursions in C
cerberus
Cerberus C semantics
Coq
My excursions with the Coq Theorem prover
Idris
My (wonderful) excursions in Idris
Java
My excursions in Java
ML
My excursions in ML
NumLin
NumLin: Linear Types for Linear Algebra
OCaml
My excursions in OCaml
Prolog
My (mind-expanding) excursions in Prolog
slang_extended
Fork of OCaml code for Compiler Construction course at University of Cambridge
dc-mak's Repositories
dc-mak/NumLin
NumLin: Linear Types for Linear Algebra
dc-mak/Java
My excursions in Java
dc-mak/Prolog
My (mind-expanding) excursions in Prolog
dc-mak/slang_extended
Fork of OCaml code for Compiler Construction course at University of Cambridge
dc-mak/C
My excursions in C
dc-mak/cerberus
Cerberus C semantics
dc-mak/clang
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
dc-mak/CompConstr
Supplementary code for Compiler Construction supervisions
dc-mak/Coq
My excursions with the Coq Theorem prover
dc-mak/Idris
My (wonderful) excursions in Idris
dc-mak/ML
My excursions in ML
dc-mak/OCaml
My excursions in OCaml
dc-mak/cn-tutorial
dc-mak/coq-dpdgraph
Build dependency graphs between COQ objects
dc-mak/ocaml-1
The core OCaml system: compilers, runtime system, base libraries
dc-mak/ott-template
Starter template for Ott Projects
dc-mak/part-ii
Part II Project Dissertation
dc-mak/pdsite
Pandoc-backed static site generator shell script with precompiled binary dependencies
dc-mak/PhD-Thesis
dc-mak/semantics-overview
An overview of operational, denotational and axiomatic styles of semantics