Skip to content
Avatar

Achievements

Achievements

Highlights

  • Pro

Organizations

@mirage @ocaml @metaocaml @links-lang @effuse @frex-project
Block or Report

Block or report yallop

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

    OCaml 75 1

  2. Higher-kinded programming in OCaml

    OCaml 156 13

  3. Code for "Staged Generic Programming" (ICFP 2017)

    OCaml 26

  4. OCaml extended with modular implicits

    OCaml 92 6

  5. A collaborative bibliography of work related to the theory and practice of computational effects

    636 59

  6. flexible 'let rec' generation for MetaOCaml

    OCaml 19 1

266 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2021

Created 1 repository

Created a pull request in frex-project/idris-frex that received 8 comments

Add a list instance for the involutive monoid frexlet

This is possibly a bit overdone: it would be significantly easier with propositional equality instead of setoids. in any case, this PR adds list in…

+159 −3 8 comments
Opened 4 other pull requests in 4 repositories
raphael-proust/ocaml-integers
1 merged
stedolan/counterexamples
1 open
ohad/idris-frex
1 merged
metaocaml/metaocaml-bibliography
1 merged
Reviewed 3 pull requests in 2 repositories
ocamllabs/ocaml-integers 2 pull requests
frex-project/idris-frex 1 pull request

Seeing something unexpected? Take a look at the GitHub profile guide.