Pinned Repositories
blog
blog-coq-dependency-bundling-and-modules
chromium-vim
Vim bindings for Google Chrome.
coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
coffeelint
Lint your CoffeeScript.
vimium
The hacker's browser.
mrmr1993's Repositories
mrmr1993/vimium
The hacker's browser.
mrmr1993/coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
mrmr1993/coffeescript
Unfancy JavaScript
mrmr1993/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.
mrmr1993/coq-of-ocaml
Compile OCaml to Coq.
mrmr1993/dune
A composable build system for OCaml.
mrmr1993/gpu-groth16-prover-3x
On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!
mrmr1993/jsonschema-to-dhall
Auto-generate Dhall bindings given a JSON Schema definition
mrmr1993/ledger-app-mina
Ledger app for Mina
mrmr1993/merlin
Context sensitive completion for OCaml in Vim and Emacs
mrmr1993/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
mrmr1993/notifier-for-github
Browser extension - Get notified about new GitHub notifications
mrmr1993/ocaml
The core OCaml system: compilers, runtime system, base libraries
mrmr1993/ocaml-ctypes
Library for binding to C libraries using pure OCaml
mrmr1993/ocaml-integers
Various signed and unsigned integer types for OCaml
mrmr1993/ocaml-interop
OCaml<->Rust FFI with an emphasis on safety.
mrmr1993/ocaml-rs
OCaml extensions in Rust
mrmr1993/ocamlformat
Auto-formatter for OCaml code
mrmr1993/ocamlnat
OCaml's native toplevel as a standalone package
mrmr1993/opam-dune-lint
Ensure dune and opam dependencies are consistent
mrmr1993/opam-repository
Main public package repository for opam, the source package manager of OCaml.
mrmr1993/ppx_deriving_yojson
A Yojson codec generator for OCaml.
mrmr1993/ppx_version
Versioning of types with bin_prot serialization
mrmr1993/ppxlib
Base library and tools for ppx rewriters
mrmr1993/protokit--website
mrmr1993/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
mrmr1993/snarky
OCaml DSL for verifiable computation
mrmr1993/vim-airline
lean & mean status/tabline for vim that's light as air
mrmr1993/wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
mrmr1993/zexe
Rust library for decentralized private computation