tomjridge
Ex-academic. Currently working as a programmer, particularly with OCaml, golang, Python, AWS. Interested in reliable systems.
UK
Pinned Repositories
sibylfs_src
Source for SibylFS model and test tools
imp_fs
ImpFS, a new filesystem.
kv-hash
A Key Value store using a persistent hashtable approach
kv-lite
A simple Key Value store implemented on SQLite
mini-btree
mini-fs
Very very minimal fs-like thing
p3.archived
p3
tjr_btree
B-tree (Bayer, not binary) library in OCaml
tjr_kv
A key-value store for OCaml
tjr_simple_earley
Simple implementation of a parsing algorithm inspired by Earley
tomjridge's Repositories
tomjridge/imp_fs
ImpFS, a new filesystem.
tomjridge/tjr_simple_earley
Simple implementation of a parsing algorithm inspired by Earley
tomjridge/mini-fs
Very very minimal fs-like thing
tomjridge/ocaml-gc-events-tracing
Record GC events from Gc.Memprof, in a file
tomjridge/path_resolution
Formal specification of path resolution algorithm in OCaml
tomjridge/sparse-file
Implement a generic sparse file (a file with gaps, which don't consume on-disk bytes)
tomjridge/buffered_io
Buffered IO operations (similar to OCaml channels)
tomjridge/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.
tomjridge/public_notes
Various notes that need to be accessible on the web
tomjridge/ftf_tracing_test
tomjridge/hello-app-runner
Example application for AWS App Runner
tomjridge/index
tomjridge/irmin
Irmin is a distributed database that follows the same design principles as Git
tomjridge/menhir-memtrace
A fork of the gitlab menhir, with memtrace tracing
tomjridge/mmap_micro_bench
Micro benchmarks to see what is the quickest way to load 10M+ integers
tomjridge/ocaml-alloc-stats
A temporary place to store some experiments with computing basic stats on statmemprof allocation traces
tomjridge/ocaml_c_ffi_test
Test calling C from OCaml and vice versa
tomjridge/ocamldocs
Various library ocamldoc documentation, for easy browsing/reference
tomjridge/p0
Simple parsing library
tomjridge/parallel-programming-in-multicore-ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
tomjridge/runtime_events_tools
tomjridge/sandmark
A benchmark suite for the OCaml compiler
tomjridge/sandmark-nightly
tomjridge/segment_hangzhou
tomjridge/split-ticket
Basic split ticket calculator
tomjridge/tezos
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
tomjridge/tjr_fs_shared
Shared definitions for filesystem work
tomjridge/tjr_lib
Simple ocaml library
tomjridge/tjr_profile
Very simple profiling; separate repo since it depends on Core.Time_stamp_counter
tomjridge/tomjridge.github.io