tomjridge Goto Github PK

2012-11-29_parsing

parsing as it was on my website, 2012-11-29

2013_mycsv.archived

A little tool to parse and format csv data. I use it often from within emacs (via shell-command-on-region).

2015-07-24_y2i

SibylFS example traces?

395-2013

Three algorithms on Braun trees

btree

lock free modified prefix B+tree append-only database

buffered_io

Buffered IO operations (similar to OCaml channels)

cactus

A Btree library in OCaml

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.

ci

Simple build script for github projects, in Scala

co1005_www

Website for CO1005 2018 Q1

compcert

The CompCert formally-verified C compiler

ctl

The C Template Library

docker-irmin

Irmin Docker setup, primarily for benchmarking on Equinix servers

dockertest

e3_deprecated_in_favour_of_tjr_simple_earley

OCaml Earley parser

e3_isa

Isabelle verification of E3 earley parser

earley_spec

High-level spec of Earley parsing

example_grammars

Example grammars for parsing work

find-parent-dir

Finding containing directories

fs0

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

fs_spec

Filesystem spec

fscq-impl

FSCQ is a certified file system written and proven in Coq

ftf_tracing_test

github_repos

github_test

Test codespaces etc

hello

A minimal OCaml project

hello-app-runner

Example application for AWS App Runner

icfp2017-papers

Link to preprints for ICFP'17 and colocated events

imp_docs

Various documents related to ImpFS

impfs_base_docker_image

A public repo that contains the base docker image defn