tizoc

bureaucrat

Form handling for Ruby inspired by Django forms.

ocaml-interop

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

shen-scheme

Shen/Scheme implementation

ppx_pgsql

Syntax extension for embedded SQL queries using PG'OCaml.

refractive

Lenses and tracked selectors enhancer and hooks for reductive.

refractive-ppx

PPX Rewriter for generating Refractive lenses and selectors

ocaml-rust-ffi-bench

shen-batteries

Libraries for Shen

shen-libs

Shen experimental libraries

shen-vscode

Shen support for VSCode

shen_run

Command line REPL for running Shen.

aiohttp

Asynchronous HTTP client/server framework for asyncio and Python

brew

🍺 The missing package manager for macOS (or Linux)

cconv

combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/universal-serialization-and-deserialization.html

dvc

🦉Data Version Control | Git for Data & Models

homebrew-core

🍻 Default formulae for the missing package manager for macOS

mina

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

minesweeper

minesweeper

ocaml-rs

OCaml extensions in Rust

ocaml-websocket

Websocket library for OCaml

ocamlearlybird

OCaml debug adapter

pgocaml

PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code.

proof-systems

The proof systems used by Mina

reductive

Redux in Reason

rust-rocksdb

rust wrapper for rocksdb

shen-luajit

Shen Luajit Implementation

shen-sources

Mirror of Shen Sources

tezedge

Tezos node/shell in Rust.

tezos-context-hash

Description of how to compute the context hash for Tezos

tezos-irmin-storage-rs

Bindings for Tezos lib_storage (quick hack for testing purposes)