mrmr1993

vimium

The hacker's browser.

coda

Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

coffeescript

Unfancy JavaScript

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.

coq-of-ocaml

Compile OCaml to Coq.

dune

A composable build system for OCaml.

gpu-groth16-prover-3x

On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!

jsonschema-to-dhall

Auto-generate Dhall bindings given a JSON Schema definition

ledger-app-mina

Ledger app for Mina

merlin

Context sensitive completion for OCaml in Vim and Emacs

node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

notifier-for-github

Browser extension - Get notified about new GitHub notifications

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocaml-integers

Various signed and unsigned integer types for OCaml

ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

ocaml-rs

OCaml extensions in Rust

ocamlformat

Auto-formatter for OCaml code

ocamlnat

OCaml's native toplevel as a standalone package

opam-dune-lint

Ensure dune and opam dependencies are consistent

opam-repository

Main public package repository for opam, the source package manager of OCaml.

ppx_deriving_yojson

A Yojson codec generator for OCaml.

ppx_version

Versioning of types with bin_prot serialization

ppxlib

Base library and tools for ppx rewriters

protokit--website

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

snarky

OCaml DSL for verifiable computation

vim-airline

lean & mean status/tabline for vim that's light as air

wasm-bindgen

Facilitating high-level interactions between Wasm modules and JavaScript

zexe

Rust library for decentralized private computation