-
LinearLang Public
LinearLang is a programming language based on linear type system that ensures memory safety.
-
seplogic Public
An implementation of separation logic in Coq
-
-
TinyCompiler Public
A tiny compiler with IR optimization.
-
-
-
-
Interpreter_In_OCaml Public
Getting started with OCaml, ocamllex, ocamlyacc and merlin.
OCaml GNU General Public License v3.0 UpdatedNov 18, 2016 -
-
-
-
hosts Public
Forked from stay-sharp/hosts_for_google_service🗽最新可用的google hosts文件。镜像：
MIT License UpdatedJul 29, 2016 -
pyArbiterPUFsim Public
A small and simple python Arbiter PUF (physical unclonable function) simulation.
-
RustPrimer Public
Forked from rustcc/RustPrimerThe Rust primer for beginners. We need native English speaker to translate it into English.
Rust UpdatedMay 26, 2016 -
Software-Foundations-Solutions Public
Forked from fabriceleal/Software-Foundations-SolutionsCoq UpdatedJun 30, 2015 -
yscheme Public
Forked from laowushi/yschemea compiler from Scheme into X64
Scheme UpdatedMay 11, 2014 -
lightsabers Public
Forked from bao-qian/lightsaberssome tiny, beautiful and difficult code
Scheme UpdatedFeb 11, 2014 -
coq-classtests Public
Forked from glug/coq-classtestscoq type classes for abstract objects, and some day parser combinators
Coq UpdatedJun 22, 2011
{{ message }}