Skip to content
View dannywillems's full-sized 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.
160 followers · 89 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

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

Block or report dannywillems

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
dannywillems/README.md

Pinned Loading

  1. ocaml-bls12-381 ocaml-bls12-381 Public

    Fast BLS12-381 implementation in OCaml

    Assembly 2 3

  2. ocaml-ec ocaml-ec Public

    Play with elliptic curves in OCaml

    OCaml 4

  3. RML RML Public

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

    OCaml 38 3

  4. ocaml-cordova-plugin-list ocaml-cordova-plugin-list Public

    List of bindings in OCaml to cordova plugins.

    26 1

  5. ocaml-for-web-programming ocaml-for-web-programming Public

    OCaml for web programming

    52 1

  6. Makefiles Makefiles Public

    List of makefiles for different projects

    Makefile 6 1