Skip to content
View kiranandcode's full-sized avatar
🏳️‍⚧️
back in business
🏳️‍⚧️
back in business
144 followers · 8 following

Organizations

@certichain @fhirfli @TyGuS @source-academy

Block or report kiranandcode

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. gopcaml-mode Public

    [MIRROR] Ultimate Ocaml Editing Mode

    OCaml 22

  2. verse-lab/ceramist Public

    Verified hash-based AMQ structures in Coq

    Coq 122 5

  3. verse-lab/sisyphus Public

    Mostly Automated Proof Repair for Verified Libraries

    OCaml 6

  4. LibreRef Public

    LibreRef is a free as in freedom digital referencing tool for artists.

    OCaml 6

  5. ocamlot Public

    An Activitypub server in OCaml!

    OCaml 67 4

  6. emacs-viewer Public

    A web frontend for your Org-files (100% faithful to GNU+Emacs!)

    Common Lisp 124

672 contributions in the last year

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

Contribution activity

April 2025

Created 11 commits in 2 repositories
Created 2 repositories
13 contributions in private repositories Apr 2 – Apr 18
Loading