Pinned Repositories
alloy
A language and tool for relational models
InSynth
Main repository of the InSynth distribution, core framework
insynth-core
InSynth frontend connection with the Scala compiler
purple-gammu
Purple Gammu, an SMS protocol for libpurple Clients (fork of code.google.com/p/purple-gammu)
scala-ide
Scala IDE for Eclipse
scala-ide-insynth-integration
Central repository for managing the implementation of InSynth and Scala IDE integration.
SciFe
SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
sketch-backend
ikuraj's Repositories
ikuraj/SciFe
SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
ikuraj/alloy
A language and tool for relational models
ikuraj/scala-ide-insynth-integration
Central repository for managing the implementation of InSynth and Scala IDE integration.
ikuraj/InSynth
Main repository of the InSynth distribution, core framework
ikuraj/purple-gammu
Purple Gammu, an SMS protocol for libpurple Clients (fork of code.google.com/p/purple-gammu)
ikuraj/sketch-backend
ikuraj/insynth-core
InSynth frontend connection with the Scala compiler
ikuraj/academic-website
ikuraj/AirSim
ikuraj/alloy4eclipse
Automatically exported from code.google.com/p/alloy4eclipse
ikuraj/aur-packages
Collection of metadata for maintained Arch Linux packages
ikuraj/awesome-eclipse
List of awesome plugins and other resources for eclipse
ikuraj/battle-city-tanks
Automatically exported from code.google.com/p/battle-city-tanks
ikuraj/conky
Light-weight system monitor for X.
ikuraj/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
ikuraj/dotfiles
Personal ~/* files guided by dotfiles.github.com
ikuraj/hypermail
Hypermail is a free (GPL) program to convert email from Unix mbox format to html. Mirror of git://hypermail.git.sourceforge.net/gitroot/hypermail/hypermail
ikuraj/leon
The Leon system for verification, synthesis, and more.
ikuraj/md4rd
Emacs Mode for Reddit - Read Reddit from within Emacs interactively.
ikuraj/My-awesome-science-project
Clever stuff
ikuraj/offlineimap
Read/sync your IMAP mailboxes
ikuraj/pidgin-opensteamworks
Automatically exported from code.google.com/p/pidgin-opensteamworks
ikuraj/projectile
Project Interaction Library for Emacs
ikuraj/rust
A safe, concurrent, practical language.
ikuraj/scala-smtlib
SMT-LIB library for Scala
ikuraj/scholar.py
A parser for Google Scholar, written in Python
ikuraj/sireum
Automatically exported from code.google.com/p/sireum
ikuraj/sketch-frontend
ikuraj/sketch-mode
Emacs mode for the Sketch synthesizer language
ikuraj/Zeal
Zeal for Sublime Text 2/3