• Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    OCaml
  • Created over 3 years ago
  • Updated over 3 years ago

Reviews

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

Repository Details

Testing performance of partial function encodings in OCaml

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-fiu

OCaml
6
star
17

dissertation

University of Cambridge Part II Dissertation (2018 – 2019)
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