-
shen-scheme Public
Shen/Scheme implementation
-
openmina Public
Forked from o1-labs/mina-rustMina Rust Node
Rust Apache License 2.0 UpdatedJul 25, 2025 -
ocaml-interop Public
OCaml<->Rust FFI with an emphasis on safety.
-
app-mina Public
Forked from btchip/app-minaLedger app for Mina
C Apache License 2.0 UpdatedDec 22, 2024 -
-
bureaucrat Public
Form handling for Ruby inspired by Django forms.
-
refractive Public
Lenses and tracked selectors enhancer and hooks for reductive.
-
mina Public
Forked from MinaProtocol/minaMina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
OCaml Apache License 2.0 UpdatedDec 22, 2022 -
proof-systems Public
Forked from o1-labs/proof-systemsThe proof systems used by Mina
Rust Apache License 2.0 UpdatedNov 15, 2022 -
ocamlearlybird Public
Forked from hackwaly/ocamlearlybirdOCaml debug adapter
OCaml GNU Affero General Public License v3.0 UpdatedNov 1, 2022 -
tezedge Public
Forked from tezedge/tezedgeTezos node/shell in Rust.
Rust MIT License UpdatedJan 3, 2022 -
ocaml-rs Public
Forked from zshipko/ocaml-rsOCaml extensions in Rust
Rust ISC License UpdatedMar 31, 2021 -
tezos-context-hash Public
Forked from tarides/tezos-context-hashDescription of how to compute the context hash for Tezos
OCaml MIT License UpdatedMar 8, 2021 -
tezos-irmin-storage-rs Public
Bindings for Tezos lib_storage (quick hack for testing purposes)
Rust UpdatedFeb 11, 2021 -
rust-rocksdb Public
Forked from rust-rocksdb/rust-rocksdbrust wrapper for rocksdb
Rust Apache License 2.0 UpdatedSep 13, 2020 -
ppx_pgsql Public
Syntax extension for embedded SQL queries using PG'OCaml.
-
-
-
refractive-ppx Public
PPX Rewriter for generating Refractive lenses and selectors
-
dvc Public
Forked from treeverse/dvc🦉Data Version Control | Git for Data & Models
Python Apache License 2.0 UpdatedFeb 26, 2020 -
shen-luajit Public
Forked from jmars/shen-luajitShen Luajit Implementation
Lua Other UpdatedFeb 18, 2020 -
ocaml-websocket Public
Forked from vbmithr/ocaml-websocketWebsocket library for OCaml
OCaml ISC License UpdatedDec 10, 2019 -
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS
Ruby BSD 2-Clause "Simplified" License UpdatedAug 31, 2019 -
brew Public
Forked from Homebrew/brew🍺 The missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedAug 31, 2019 -
-
reductive Public
Forked from rickyvetter/reductiveRedux in Reason
OCaml MIT License UpdatedJul 27, 2019 -
shen-sources Public
Forked from Shen-Language/shen-sourcesMirror of Shen Sources
Shen BSD 3-Clause "New" or "Revised" License UpdatedMay 16, 2019 -
shen-libs Public
Forked from vasil-sd/shen-libsShen experimental libraries
-
cconv Public
Forked from c-cube/cconvcombinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/universal-serialization-and-deserialization.html
OCaml BSD 2-Clause "Simplified" License UpdatedMar 4, 2019
{{ message }}