-
cn Public
Forked from rems-project/cnCN separation logic refinement type system for C
OCaml Other UpdatedJun 24, 2025 -
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedJun 16, 2025 -
-
-
-
faculty_hiring Public
Forked from samfway/faculty_hiringUniversity faculty hiring analysis
Jupyter Notebook UpdatedApr 17, 2017 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJan 5, 2017 -
-
-
HoTT-Agda Public
Forked from HoTT/HoTT-AgdaDevelopment of homotopy type theory in Agda
Agda Other UpdatedJul 1, 2016 -
-
-
text2ldac Public
Forked from JoKnopp/text2ldacpython command line tool that takes a directory containing .txt files as input and generates three output files that can be used by the ldac or hlda implementations by David Blei
Python UpdatedMar 12, 2014