-
PhD-Thesis Public
Forked from MevenBertrand/PhD-ThesisHTML Creative Commons Zero v1.0 Universal UpdatedMay 14, 2025 -
ott Public
Forked from ott-lang/ottThe Ott tool for writing definitions of programming languages and calculi
OCaml Other UpdatedMay 5, 2025 -
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedMay 2, 2025 -
cn Public
Forked from rems-project/cnCN separation logic refinement type system for C
OCaml Other UpdatedApr 30, 2025 -
-
NumLin Public
NumLin: Linear Types for Linear Algebra
-
-
pdsite Public
Forked from GordStephen/pdsitePandoc-backed static site generator shell script with precompiled binary dependencies
Shell BSD 3-Clause "New" or "Revised" License UpdatedApr 25, 2021 -
-
clang Public
Forked from llvm-mirror/clangMirror kept for legacy. Moved to https://github.com/llvm/llvm-project
C++ Other UpdatedApr 23, 2020 -
semantics-overview Public
Forked from snitramodranoel/lectureAn overview of operational, denotational and axiomatic styles of semantics
TeX MIT License UpdatedFeb 3, 2020 -
CompConstr Public
Supplementary code for Compiler Construction supervisions
-
ocaml-1 Public archive
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedJan 25, 2018 -
coq-dpdgraph Public archive
Forked from rocq-community/coq-dpdgraphBuild dependency graphs between COQ objects
HTML GNU Lesser General Public License v2.1 UpdatedDec 2, 2017 -
-
-
-
-
-
slang_extended Public
Forked from Timothy-G-Griffin/cc_cl_cam_ac_ukFork of OCaml code for Compiler Construction course at University of Cambridge
-
-
{{ message }}