mkarup

Pinned Repositories

• orgro

  An Org Mode app for iOS and Android

  Language:Dart480209922

• certicoq

  A Verified Compiler for Gallina, Written in Gallina

  Language:Coq137151324

• 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.8k10310k644

• emscripten

  Emscripten: An LLVM-to-WebAssembly Compiler

  Language:C++25.7k5899.3k3.3k

• metacoq

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

  Language:Coq3701714979

• wasocaml

  Language:OCaml50524

• malfunction

  Malfunctional Programming

  Language:OCaml337273219

• literate-calc-mode.el

  🧮 Literate programming for M-x calc

  Language:Emacs Lisp32593413

• WasmCert-Coq

  A mechanisation of Wasm in Coq

  Language:Coq90122611

• binaryen

  Optimizer and compiler/toolchain library for WebAssembly

  Language:WebAssembly7.4k1731.4k737

mkarup's Repositories