Skip to content
View ikuraj's full-sized avatar
27 followers · 19 following
  • CSAIL MIT, EPFL
  • Boston

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report ikuraj

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

Pinned Loading

  1. SciFe SciFe Public

    SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants

    Scala 15 6

  2. scala-ide-insynth-integration scala-ide-insynth-integration Public

    Central repository for managing the implementation of InSynth and Scala IDE integration.

    Scala 12 3

  3. InSynth InSynth Public

    Main repository of the InSynth distribution, core framework

    Scala 1

  4. insynth-core insynth-core Public

    InSynth frontend connection with the Scala compiler

    Scala

  5. scala-ide scala-ide Public

    Forked from scala-ide/scala-ide

    Scala IDE for Eclipse

    Scala