Skip to content
View schrodibear's full-sized avatar
5 followers · 0 following
  • ISP RAS
  • Moscow

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report schrodibear

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

Popular repositories

  1. ocaml_tricks ocaml_tricks Public

    See http://stackoverflow.com/questions/5088527/friend-modules-in-ocaml

    OCaml 2

  2. astraver astraver Public

    Deductive Verification Tool for Linux Kernel code based on Frama-C/Why3

    OCaml 2

  3. isabelle-tasks isabelle-tasks Public

    A mirror of the internal isabelle-tasks repo

    Isabelle 2

  4. problems problems Public

    Problem solutions from codeforces.com, seminars and other sources

    OCaml 1

  5. core core Public

    Forked from janestreet/core

    Jane Street Capital's standard library overlay

    OCaml

  6. ppx_import ppx_import Public

    Forked from ocaml-ppx/ppx_import

    Less redundancy in type declarations and signatures

    OCaml