Skip to content
View oab's full-sized avatar
2 followers · 2 following
  • Bergen

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report oab

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 Loading

  1. refactoring refactoring Public

    ABS refactoring experiments

    Java 3

  2. ohm ohm Public

    Forked from ohmjs/ohm

    A library and language for building parsers, interpreters, compilers, etc.

    JavaScript

  3. benchmarks-moa2020 benchmarks-moa2020 Public

    benchmarks for dimension lifting and padding

    C

  4. agda-array agda-array Public

    Forked from ashinkarov/agda-array

    Multi-dimensional arrays in Agda

    Agda

  5. AlloyExperiments AlloyExperiments Public

    Alloy experiments

    Alloy

  6. pikaparser pikaparser Public

    Forked from lukehutch/pikaparser

    The Pika Parser reference implementation

    Java