mkarup

Pinned Repositories

• orgro

  An Org Mode app for iOS and Android

  Language:Dart4992010723

• certicoq

  A Verified Compiler for Gallina, Written in Gallina

  Language:Coq136151425

• coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k10310.1k650

• emscripten

  Emscripten: An LLVM-to-WebAssembly Compiler

  Language:C++25.8k5889.3k3.3k

• metacoq

  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Language:Coq3811715082

• wasocaml

  Language:OCaml54484

• malfunction

  Malfunctional Programming

  Language:OCaml340273219

• literate-calc-mode.el

  🧮 Literate programming for M-x calc

  Language:Emacs Lisp32893413

• WasmCert-Coq

  A mechanisation of Wasm in Coq

  Language:Coq95122811

• binaryen

  Optimizer and compiler/toolchain library for WebAssembly

  Language:WebAssembly7.5k1751.4k745

mkarup's Repositories