Giters
Ivan Kuraj (ikuraj)

ikuraj

Geek Repo

23

followers

19

following

1k

stars

Company:CSAIL MIT, EPFL

Location:Boston

Github PK Tool:Github PK Tool

Ivan Kuraj's repositories

SciFe

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

Language:ScalaLicense:GPL-2.0Stargazers:15Issues:2Issues:1

alloy

A language and tool for relational models

Language:JavaStargazers:12Issues:5Issues:0

scala-ide-insynth-integration

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

Language:ScalaStargazers:12Issues:7Issues:11

InSynth

Main repository of the InSynth distribution, core framework

Language:ScalaLicense:GPL-2.0Stargazers:1Issues:2Issues:1

purple-gammu

Purple Gammu, an SMS protocol for libpurple Clients (fork of code.google.com/p/purple-gammu)

Language:CLicense:GPL-3.0Stargazers:1Issues:1Issues:5

sketch-backend

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

insynth-core

InSynth frontend connection with the Scala compiler

Language:ScalaStargazers:0Issues:2Issues:0

academic-website

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse

Language:JavaStargazers:0Issues:1Issues:113

aur-packages

Collection of metadata for maintained Arch Linux packages

Language:ShellStargazers:0Issues:2Issues:0

awesome-eclipse

List of awesome plugins and other resources for eclipse

License:CC0-1.0Stargazers:0Issues:2Issues:0

battle-city-tanks

Automatically exported from code.google.com/p/battle-city-tanks

Language:PythonStargazers:0Issues:1Issues:1

conky

Light-weight system monitor for X.

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:2Issues:0

dotfiles

Personal ~/* files guided by dotfiles.github.com

Language:ShellStargazers:0Issues:2Issues:0

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

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

leon

The Leon system for verification, synthesis, and more.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:9Issues:0

md4rd

Emacs Mode for Reddit - Read Reddit from within Emacs interactively.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

My-awesome-science-project

Clever stuff

Stargazers:0Issues:2Issues:0

offlineimap

Read/sync your IMAP mailboxes

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

pidgin-opensteamworks

Automatically exported from code.google.com/p/pidgin-opensteamworks

Language:CStargazers:0Issues:1Issues:95

projectile

Project Interaction Library for Emacs

Language:Emacs LispStargazers:0Issues:2Issues:0

rust

A safe, concurrent, practical language.

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

scala-refactoring

A library providing automated refactoring support for Scala.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

scala-smtlib

SMT-LIB library for Scala

Language:SMTLicense:MITStargazers:0Issues:2Issues:0

scholar.py

A parser for Google Scholar, written in Python

Language:PythonStargazers:0Issues:2Issues:0

sireum

Automatically exported from code.google.com/p/sireum

Stargazers:0Issues:1Issues:0

sketch-frontend

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

sketch-mode

Emacs mode for the Sketch synthesizer language

Language:Emacs LispLicense:GPL-2.0Stargazers:0Issues:0Issues:0

Zeal

Zeal for Sublime Text 2/3

Language:PythonLicense:MITStargazers:0Issues:2Issues:0