Pinned Repositories
benchmarks
dataset
index
irmin
Irmin is a distributed database that follows the same design principles as Git
misc
pi2erlang
translate a fragment of pi calculus to erlang
spec_index
icristescu's Repositories
icristescu/spec_index
icristescu/misc
icristescu/benchmarks
icristescu/dataset
icristescu/index
icristescu/irmin
Irmin is a distributed database that follows the same design principles as Git
icristescu/alcotest
A lightweight and colourful test framework
icristescu/btree
Btree data structure for stable indexing
icristescu/cactus
A Btree library in OCaml
icristescu/dune-release-testing
Dummy opam package repo for dune-release testing purposes
icristescu/esp-idf
Espressif IoT Development Framework. Official development framework for ESP32.
icristescu/index-benchmarks
icristescu/index-tezos-bindings
icristescu/irmin-server
A high-performance server for Irmin
icristescu/irmin-tree-serialisation
Debugging memory usage in an Irmin tree dump.
icristescu/irmin.io
Irmin website
icristescu/lwt
OCaml promises and concurrent I/O
icristescu/metrics
Infrastructure to collect metrics from OCaml applications.
icristescu/mirage-block-unix
Unix implementation of the Mirage_types.BLOCK interface
icristescu/mirage-esp32
Mirage OS bindings for ESP32
icristescu/ocaml-bun
tired of typing afl-fuzz? try bun!
icristescu/ocaml-ci
A CI for OCaml projects
icristescu/ocaml-mqtt
MQTT client for OCaml/ReasonML
icristescu/opam-cross-esp32
Cross compilation libraries for OCaml on ESP32 development
icristescu/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
icristescu/repr
icristescu/Spoon-Knife
This repo is for demonstration purposes only.
icristescu/tezos
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
icristescu/tezos-context-hash
Description of how to compute the context hash for Tezos
icristescu/tezos-storage-bench