Pinned Repositories
ocaml-modular-implicits
OCaml extended with modular implicits
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
fomega
System Fω interpreter for use in Advanced Functional Programming course
higher
Higher-kinded programming in OCaml
icfp2014-papers
Accepted papers for ICFP 2014
metaocaml-letrec
flexible 'let rec' generation for MetaOCaml
ocaml-asp
Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
ocaml-ctypes
Library for binding to C libraries using pure OCaml
ocaml-flap
A deterministic parser with fused lexing
popl2015-papers
Accepted papers for POPL 2015
yallop's Repositories
yallop/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
yallop/ocaml-ctypes
Library for binding to C libraries using pure OCaml
yallop/higher
Higher-kinded programming in OCaml
yallop/ocaml-asp
Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
yallop/ocaml-flap
A deterministic parser with fused lexing
yallop/fomega
System Fω interpreter for use in Advanced Functional Programming course
yallop/ocaml-integers
Various signed and unsigned integer types for OCaml
yallop/staged-generic-programming
Code for "Staged Generic Programming" (ICFP 2017)
yallop/ocaml-memcpy
yallop/ocaml-syb
Scrap Your Boilerplate for OCaml with modular implicits
yallop/ocaml-reex
Staged regular expression library for MetaOCaml
yallop/semantics-agda
Agda mechanisation of the University of Cambridge Semantics of Programming Languages course
yallop/subtypes
First-class subtypes for OCaml
yallop/cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
yallop/check-markdown-urls
yallop/ocaml
Read-only mirror of INRIA SVN
yallop/opam-repository
Package descriptions for OPAM
yallop/safe-pattern-generation
Type-safe statically-unknown pattern generation in MetaOCaml
yallop/.github
Community health files: Contributing guidelines, Code of Conduct, ...
yallop/ffi-overhead
comparing the c ffi (foreign function interface) overhead on various programming languages
yallop/idris-frex
yallop/imp
Experimental library using modular implicits
yallop/Mappin
yallop/metaocaml-bibliography
MetaML and MetaOCaml bibliography
yallop/metaocaml-opam
A repository of MetaOCaml packages
yallop/modular-implicits-opam
yallop/ppx_effects
yallop/records
Dynamic records in OCaml
yallop/RFCs
Design discussions about the OCaml language
yallop/srepls.github.io
SREPLS homepage