tomjridge/path_resolution

Stars
4
Rank 3,286,668 (Top 66 %)
Language
OCaml
Created over 6 years ago
Updated over 2 years ago

tomjridge/path_resolution

tomjridge

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

Formal specification of path resolution algorithm in OCaml

tjr_btree

B-tree (Bayer, not binary) library in OCaml

tjr_kv

A key-value store for OCaml

imp_fs

ImpFS, a new filesystem.

p3.archived

kv-hash

A Key Value store using a persistent hashtable approach

tjr_simple_earley

Simple implementation of a parsing algorithm inspired by Earley

kv-lite

A simple Key Value store implemented on SQLite

mini-fs

Very very minimal fs-like thing

p4.archived

A "low-level" combinator parsing library for OCaml

mini-btree

tjr_mem_queue

An in-memory message queue for messaging between senders and a receiver.

e3_deprecated_in_favour_of_tjr_simple_earley

OCaml Earley parser

ocaml-gc-events-tracing

Record GC events from Gc.Memprof, in a file

sparse-file

Implement a generic sparse file (a file with gaps, which don't consume on-disk bytes)

isa_btree

fs0

A sort-of minimal basis for building a file system on top of a block device

chunked_file

A chunked file is like a normal file, but divided into fixed-size chunks. This means you can delete early chunks if you know they are no longer needed.

buffered_io

Buffered IO operations (similar to OCaml channels)

example_grammars

Example grammars for parsing work

public_notes

Various notes that need to be accessible on the web

fs_spec

Filesystem spec

tjr_csv

OCaml CSV parsing via p0

tree_structured_text

Specification of tree-structured text

ocaml_gll_examples.archived

GLL examples from paper "GLL parsing", rendered in OCaml

p5_scala.archived

P5 parsing library, in Scala

docker-irmin

Irmin Docker setup, primarily for benchmarking on Equinix servers

tjr_python_earley_parser

Python Earley parser, based on tjr_simple_earley OCaml parser