Skip to content
Block or report user

Report or block kit-ty-kate

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Organizations

@ocamllabs @ocsigen @Cumulus @herd @LamaUrbain

Pinned

  1. A toy language based on LLVM that implements the System Fω type-system

    OCaml 34

  2. A small library used to shadow polymorphic operators (and functions) contained in the stdlib.

    OCaml 12 1

  3. A toolchain to check for broken opam packages

    OCaml 10

  4. View your Mastodon archive offline

    OCaml 9

  5. My dotfiles

    Vim script

  6. This project ships two MirageOS unikernels to keep track of my server which has a dynamic IP

    OCaml 4

2,013 contributions in the last year

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

Contribution activity

March 2019

Created a pull request in ocaml/opam-repository that received 7 comments

Patch ocamlfind to elimitate the check for awk

While testing the new opam-depext on Archlinux I encountered a problem while building ocamlfind: awk wasn't installed. This PR adds a conf-awk pack…

+411 −14 7 comments

Created an issue in ocaml/ocaml that received 9 comments

Correct mutually recursive types are rejected by the type-checker

Consider the two following mutually recursive types: type p = [`A | q] and q = [`B of p] type p = < x : int; q> and q = <y : p> Both type definitio…

9 comments

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

You can’t perform that action at this time.