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

  • AirSim Public

    C++ Other Updated Aug 28, 2024

  • md4rd Public

    Forked from ahungry/md4rd

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

    Emacs Lisp GNU General Public License v3.0 Updated Jun 28, 2024

  • SciFe Public

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

    Scala 15 6 GNU General Public License v2.0 Updated Mar 15, 2024

  • aur-packages Public

    Collection of metadata for maintained Arch Linux packages

    Shell Updated Sep 17, 2023

  • sketch-backend Public

    Forked from asolarlez/sketch-backend
    C++ 1 Other Updated Feb 5, 2023

  • sketch-frontend Public

    Forked from asolarlez/sketch-frontend
    Java Other Updated Jan 28, 2023

  • sketch-mode Public

    Forked from jfeser/sketch-mode

    Emacs mode for the Sketch synthesizer language

    Emacs Lisp GNU General Public License v2.0 Updated Aug 31, 2022

  • InSynth Public

    Main repository of the InSynth distribution, core framework

    Scala 1 GNU General Public License v2.0 Updated Apr 19, 2022

  • academic-website Public

    Shell MIT License Updated Jun 22, 2020

  • offlineimap Public

    Forked from OfflineIMAP/offlineimap

    Read/sync your IMAP mailboxes

    Python Other Updated Apr 18, 2020

  • projectile Public

    Forked from bbatsov/projectile

    Project Interaction Library for Emacs

    Emacs Lisp Updated Jul 12, 2018

  • scala-ide-insynth-integration Public

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

    Scala 12 3 Updated Nov 14, 2017

  • alloy Public

    A language and tool for relational models

    Java 12 6 Updated Jul 20, 2017

  • leon Public

    Forked from epfl-lara/leon

    The Leon system for verification, synthesis, and more.

    Scala Other Updated May 23, 2017

  • rust Public

    Forked from rust-lang/rust

    A safe, concurrent, practical language.

    Rust Other Updated Apr 30, 2017

  • conky Public

    Forked from brndnmtthws/conky

    Light-weight system monitor for X.

    C++ Other Updated Apr 7, 2017

  • CVC4 Public

    Forked from cvc5/cvc5

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

    SMT Other Updated Mar 18, 2017

  • awesome-eclipse Public

    Forked from hrj/awesome-eclipse

    List of awesome plugins and other resources for eclipse

    Creative Commons Zero v1.0 Universal Updated May 23, 2016

  • battle-city-tanks Public

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

    Python Updated Apr 29, 2016

  • sireum Public

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

    Updated Apr 29, 2016

  • insynth-core Public

    InSynth frontend connection with the Scala compiler

    Scala Updated Apr 25, 2016

  • alloy4eclipse Public

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

    Java Updated Apr 16, 2016

  • Zeal Public

    Forked from vaanwd/Zeal

    Zeal for Sublime Text 2/3

    Python MIT License Updated Oct 29, 2015

  • scala-smtlib Public

    Forked from colder/scala-smtlib

    SMT-LIB library for Scala

    SMT MIT License Updated Aug 11, 2015

  • scholar.py Public

    Forked from norro/scholar.py

    A parser for Google Scholar, written in Python

    Python Updated May 7, 2015

  • purple-gammu Public

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

    C 1 GNU General Public License v3.0 Updated Apr 10, 2015

  • pidgin-opensteamworks Public

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

    C Updated Apr 5, 2015

  • hypermail Public

    Forked from hypermail-project/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

    C GNU General Public License v2.0 Updated Apr 3, 2015

  • My-awesome-science-project Public

    Clever stuff

    Updated Jan 21, 2015

  • dotfiles Public

    Forked from shyiko/dotfiles

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

    Shell Updated Oct 4, 2014