Skip to content
Avatar
23 followers · 1 following · 4

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor
Block or Report

Block or report kyoDralliam

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.

Report abuse

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

Report abuse

Popular repositories

  1. MorpionNormal Public archive

    Recursive morpion

    OCaml 2

  2. Ocsfml Public

    Forked from JoeDralliam/Ocsfml

    Ocaml port of the C++ SFML library.

    OCaml 2

  3. CircuitSimulator Public

    OCaml 1

  4. opam-repository Public

    Forked from ocaml/opam-repository

    Package descriptions for OPAM

    OCaml 1

  5. LinearManipulations Public

    about linear types and lambda calculus

    OCaml

  6. GuiOcsfml Public

    A lightweight GUI for Ocsfml

    OCaml

110 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to HoTT/EPIT-2020, kyoDralliam/MakeMyMap, kyoDralliam/SPropTools and 5 other repositories

Contribution activity

November 1, 2021

kyoDralliam has no activity yet for this period.

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