Sumith1896

termscore

Get scores of this World T20 World Cup in your terminal

distributed-hashbreaker

A distributed hashbreaker using socket programming implemented for our Networks Lab course

oslab

Submissions of CS 333 - Operating Systems lab

seminar-report

Seminar report on "Space leaks exploration in Haskell", Spring 2017

Sumith1896.github.io

My personal homepage with my blog.

compilers-lab

Submissions of CS 316 - Implementation of Programming Languages lab

fbctf

Platform to host Capture the Flag competitions

wncc-soc

Material of WnCC Seasons Of Code - 2016

cryptominisat

An advanced SAT Solver

csympy

Fast symbolic manipulation library, written in C++

django-template

Cookiecutter template for simple Django application

leon

The Leon system for verification, synthesis, and more.

leon-web

Web-interface for Leon

lf

A terminal file manager

Orb2015

A version of Orb that will be compatible with Leon2015

planet-sympy

The new planet SymPy sources

prat-btp-report

Working drafts of my undergraduate thesis

presentations

Conference Talks and Proposals

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

scala-native

Your favourite language gets closer to bare metal.

ScalaZ3

Binders and more to the Z3 SMT solver for Scala

scipy-2016-symengine-talk

SymEngine talk for SciPy 2016

scipy.org

Scipy.org web site source code

SongDown

A terminal-based Youtube song search and downloader using youtube-dl

symengine-paper

sympy

A computer algebra system written in pure Python

sympy-paper

Paper for SymPy

verify-xv6

Verification of the buffer cache module in the xv6 operating system

website

SAT Live! web site

xv6-public

xv6 OS