Skip to content
Avatar
💭
Why a status? I never look at this... Didn't know it did exist.
💭
Why a status? I never look at this... Didn't know it did exist.
72 followers · 76 following · 528

Highlights

Organizations

@ocsigen @Open-Courses @vim-IDE @42dannywillems @UMONS-Cercle-Informatique @UMonsIT

Sponsoring

@drupol
Block or Report
  • Block or report user

    Block or report dannywillems

    Block user

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

    Report abuse

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

    Report abuse
dannywillems/README.md

Hi there 👋

Apparently, I found something...

More often on GitLab (https://gitlab.com/dannywillems). Trying to mirror my work here... Mostly around cryptography and Tezos these days.

Pinned

  1. RML

    ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

    OCaml 38 3

  2. ocaml-cordova-plugin-list

    List of bindings in OCaml to cordova plugins.

    24 1

  3. ocaml-for-web-programming

    OCaml for web programming

    45

  4. Makefiles

    List of makefiles for different projects

    Makefile 5 1

  5. easy-install

    Manage easily the installation of your softwares.

    Python 4 1

  6. my-resume

    My resume.

    TeX 1

543 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Learn how we count contributions.
Less More

Contribution activity

April 2021

Created 10 commits in 2 repositories
Created 2 repositories

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