Skip to content
View Drup's full-sized avatar

Organizations

@mirage @ocsigen @termite-analyser @ocaml-community

Block or report Drup

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. ocsigen/tyxml Public

    Build valid HTML and SVG documents

    OCaml 170 62

  2. OCamlPro/ocp-index Public

    Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.

    OCaml 63 26

  3. tyre Public

    Typed Regular Expressions

    OCaml 171 5

  4. regex-generate/regenerate Public

    Tool to generate test-cases for regular expression engines

    OCaml 33 6

  5. bytepdf Public

    A tool to create PDFs that are also OCaml bytecodes

    OCaml 41

  6. dowsing Public

    ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression

    OCaml 34 4

138 contributions in the last year

Contribution Graph
Day of Week March April May June July August September October November December January February March
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to Drup/dowsing, Drup/cap-lab24, lfrenot/stage-24 and 1 other repository
Loading A graph representing Drup's contributions from March 03, 2024 to March 09, 2025. The contributions are 99% commits, 1% code review, 0% issues, 0% pull requests. 1% Code review   Issues   Pull requests 99% Commits

Contribution activity

March 2025

Drup has no activity yet for this period.
Loading

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