ikuraj/SciFe
SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
Developer Profile
ikuraj
Discovered public repositories for ikuraj in the GitHub catalog.
ikuraj/scala-refactoring
A library providing automated refactoring support for Scala.
ikuraj/xsbt-coveralls-plugin
sbt plugin for uploading Scala code coverage to coveralls
ikuraj/InSynth
Main repository of the InSynth distribution, core framework
ikuraj/cfg
dotfiles and related syncing scripts
ikuraj/greyshade
A minimal responsive octopress theme
ikuraj/leon
The Leon system for verification, synthesis, and more.
ikuraj/scala-ide.github.com
Public repository.
ikuraj/ecosystem
Set of maven project to build the Scala IDE ecosystem update sites
ikuraj/scala
The Scala programming language
ikuraj/scala-ide-insynth-integration
Central repository for managing the implementation of InSynth and Scala IDE integration.
ikuraj/scala-ide
Scala IDE for Eclipse
ikuraj/ibu
ibu-project