Skip to content
Avatar
32 followers · 1 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@crystal-lang @Mtac2
Block or Report

Block or report beta-ziliani

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. mtac-plugin Public

    Plugin for Coq 8.5

    Coq 4 5

  2. coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml 3

  3. sf Public

    Software Foundations of Pierce et al.

    Coq 3 3

  4. ssreflect-1.4 Public

    Ssreflect

    Coq 1

  5. opam-coq-archive Public

    Forked from coq/opam-coq-archive

    Archive for all Coq related OPAM packages organized in various repositories

    JavaScript 1

  6. repo-unstable Public

    Forked from coq/repo-unstable-disabled

    The repository for development packages.

619 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

March 2022

Created 6 commits in 4 repositories

Created a pull request in crystal-lang/crystal-website that received 1 comment

updating sponsors

+171 −173 • 1 comment
Opened 1 other pull request in 1 repository
Reviewed 41 pull requests in 8 repositories
crystal-lang/crystal 25 pull requests
crystal-lang/shards 6 pull requests
crystal-lang/crystal-book 3 pull requests
crystal-lang/distribution-scripts 2 pull requests
crystal-lang/crystal-molinillo 2 pull requests
crystal-lang/crystal-db 1 pull request
crystal-lang/test-ecosystem 1 pull request
crystal-lang/crystal-website 1 pull request

Created an issue in crystal-lang/test-ecosystem that received 3 comments

mint is taking forever

3 comments
Opened 4 other issues in 2 repositories
crystal-lang/test-ecosystem 3 open
crystal-lang/crystal 1 open

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