craigfe/irmin-notebooks

Stars
1
Language
Jupyter Notebook
Created over 4 years ago
Updated almost 4 years ago

craigfe/irmin-notebooks

craigfe

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

progress

Progress bar library for OCaml

oskel

💀 Skeleton generator for OCaml projects.

compact

Memory-efficient data structures in OCaml

ocaml-stdlib-type-conversions

Graphs of the various type conversions provided by the OCaml standard library.

ppx_effects

causal-rpc

A traceable distributed computation framework

brands

Defunctionalised higher-kinded polymorphism in OCaml.

field_repr

generalised-signatures

ppx_irmin

OCaml PPX extension for automatically generating Irmin types

ocamlformat-vmux

Version mulltiplexer for OCamlformat binaries.

ocaml-generics

diff

Diffing and edit-distance algorithms for OCaml

scaffold

Declarative OCaml testing frameworks using Dune rules.

til

📝 Today I Learned

ocaml-partial-functions-perf

Testing performance of partial function encodings in OCaml

ocaml-fiu

dissertation

University of Cambridge Part II Dissertation (2018 – 2019)

dotfiles

Configuration files for various programs.

ocaml-rusage

OCaml bindings for the GETRUSAGE(2) syscall.

current-bench

ocaml-tooling-intro

sink

OCaml standard library for personal use.

ppx_alcotest

mirage-tezos-signer

Work-in-progress MirageOS-compatible fork of `tezos-signer`.

ocaml-ci-web

An OCurrent pipeline for web project CI

metaocaml-plus-ecosystem

MetaOCaml + modern ecosystem tooling.

dockerfiles

General Dockerfiles available at Docker Hub.

ci-minimal

ppx-import-inferred-types

Demo for https://discuss.ocaml.org/t/ppx-deriving-and-polymorphic-variants/6143/3.

git-store-diagram

TikZ diagram extracted from https://github.com/CraigFe/dissertation.

irmin-tree-serialisation

Debugging memory usage in an Irmin tree dump.

Jupyter Notebook

causal-rpc-talk

CausalRPC talk slides (ICFP 2019).

fancv

scratch

Not the visual programming language.

nonstd

Fork of https://bitbucket.org/smondet/nonstd.

yasnippet-dune

YASnippet collection for `dune` and `dune-project` files.

hacl-star-raw-dune

WIP hacl-star bindings using Dune, for MirageOS 4.

lwt-watcher

Fork of https://gitlab.com/nomadic-labs/lwt-watcher.

ocaml-bls12-381

Fork of https://gitlab.com/dannywillems/ocaml-bls12-381.

bidict