Skip to content
View Gopiandcode's full-sized avatar
😻
!!!!!!!Helllllloooooooooooooo
😻
!!!!!!!Helllllloooooooooooooo
107 followers · 7 following

Organizations

@certichain @fhirfli @TyGuS @source-academy @nus-plse @verse-lab
Block or Report

Block or report Gopiandcode

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

  1. gopcaml-mode gopcaml-mode Public

    [MIRROR] Ultimate Ocaml Editing Mode

    OCaml 21

  2. verse-lab/ceramist verse-lab/ceramist Public

    Verified hash-based AMQ structures in Coq

    Coq 122 5

  3. verse-lab/sisyphus verse-lab/sisyphus Public

    Mostly Automated Proof Repair for Verified Libraries

    OCaml 1

  4. LibreRef LibreRef Public

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

    OCaml 5

  5. ocamlot ocamlot Public

    An Activitypub server in OCaml!

    OCaml 66 4

  6. emacs-viewer emacs-viewer Public

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

    Common Lisp 113