craigfe/dissertation craigfe/dissertation

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
  • License
    MIT License
  • Created over 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
craigfe/dissertation
github

craigfe

Reviews

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

Repository Details

University of Cambridge Part II Dissertation (2018 – 2019)

More Repositories

1

progress

Progress bar library for OCaml
OCaml
137
star
2

oskel

πŸ’€ Skeleton generator for OCaml projects.
OCaml
48
star
3

compact

Memory-efficient data structures in OCaml
OCaml
39
star
4

ocaml-stdlib-type-conversions

Graphs of the various type conversions provided by the OCaml standard library.
Makefile
33
star
5

ppx_effects

OCaml
31
star
6

causal-rpc

A traceable distributed computation framework
OCaml
21
star
7

brands

Defunctionalised higher-kinded polymorphism in OCaml.
OCaml
18
star
8

field_repr

OCaml
16
star
9

generalised-signatures

11
star
10

ppx_irmin

OCaml PPX extension for automatically generating Irmin types
OCaml
11
star
11

ocamlformat-vmux

Version mulltiplexer for OCamlformat binaries.
OCaml
10
star
12

ocaml-generics

OCaml
9
star
13

diff

Diffing and edit-distance algorithms for OCaml
OCaml
8
star
14

scaffold

Declarative OCaml testing frameworks using Dune rules.
OCaml
8
star
15

til

πŸ“ Today I Learned
Shell
7
star
16

ocaml-partial-functions-perf

Testing performance of partial function encodings in OCaml
OCaml
6
star
17

ocaml-fiu

OCaml
6
star
18

dotfiles

Configuration files for various programs.
Shell
5
star
19

ocaml-rusage

OCaml bindings for the GETRUSAGE(2) syscall.
OCaml
5
star
20

current-bench

JavaScript
5
star
21

ocaml-tooling-intro

5
star
22

sink

OCaml standard library for personal use.
OCaml
5
star
23

ppx_alcotest

OCaml
4
star
24

mirage-tezos-signer

Work-in-progress MirageOS-compatible fork of `tezos-signer`.
OCaml
4
star
25

ocaml-ci-web

An OCurrent pipeline for web project CI
OCaml
4
star
26

metaocaml-plus-ecosystem

MetaOCaml + modern ecosystem tooling.
OCaml
3
star
27

dockerfiles

General Dockerfiles available at Docker Hub.
Dockerfile
2
star
28

ci-minimal

OCaml
2
star
29

ppx-import-inferred-types

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

git-store-diagram

TikZ diagram extracted from https://github.com/CraigFe/dissertation.
TeX
2
star
31

irmin-tree-serialisation

Debugging memory usage in an Irmin tree dump.
Jupyter Notebook
2
star
32

causal-rpc-talk

CausalRPC talk slides (ICFP 2019).
TeX
2
star
33

fancv

TeX
1
star
34

scratch

Not the visual programming language.
Shell
1
star
35

nonstd

Fork of https://bitbucket.org/smondet/nonstd.
OCaml
1
star
36

yasnippet-dune

YASnippet collection for `dune` and `dune-project` files.
YASnippet
1
star
37

hacl-star-raw-dune

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

irmin-notebooks

Jupyter Notebook
1
star
39

lwt-watcher

Fork of https://gitlab.com/nomadic-labs/lwt-watcher.
OCaml
1
star
40

ocaml-bls12-381

Fork of https://gitlab.com/dannywillems/ocaml-bls12-381.
OCaml
1
star
41

bidict

OCaml
1
star