Skip to content
Avatar
18 followers · 12 following · 4
  • Australia

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@souffle-lang @binrats
Block or Report

Block or report azreika

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. lambdul

    Lambda calculus interpreter written in Java

    Java 8 2

  2. souffle

    Forked from souffle-lang/souffle

    Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of line…

    C++ 1

  3. leiden

    Forked from h-joshi/leiden

    Python

  4. cogent

    Forked from NICTA/cogent

    Proof-Code co-generation

    Isabelle

  5. souffle-lang.github.io

    Forked from souffle-lang/souffle-lang.github.io

    Soufflé

    CSS

  6. ppt-notex

    PowerPoint slide notes extractor

    Python

1,001 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to souffle-lang/souffle, azreika/soufflai, souffle-lang/souffle-lang.github.io and 2 other repositories

Contribution activity

July 2021

99 contributions in private repositories Jul 1 – Jul 26

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