Sumith1896/skosette Sumith1896/skosette

  • Stars
    star
    1
  • Language
    Racket
  • License
    MIT License
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Sumith1896/skosette
github

Sumith1896

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Reimplementation of the Skolem function generation using Rosette

More Repositories

1

motion2prog_release

This repository contains the code for the paper "Hierarchical Motion Understanding via Motion Programs"
Python
44
star
2

tusSAT

A SAT solver implementation in VHDL, team tussle
VHDL
20
star
3

spoc

Official code release of our NeurIPS '19 paper "SPoC: Search-based Pseudocode to Code"
Python
13
star
4

termscore

Get scores of this World T20 World Cup in your terminal
Python
9
star
5

BugTracker

Script to track bugs from users/org repos given a label
Python
5
star
6

gof

Game Of Football, Institute Technical Summer Project under WnCC, STAB, IIT Bombay
Python
4
star
7

CS213-293

Problem Statements and Solutions to Prof. A. A. Diwan's CS 213 and CS 293
4
star
8

oslab

Submissions of CS 333 - Operating Systems lab
3
star
9

distributed-hashbreaker

A distributed hashbreaker using socket programming implemented for our Networks Lab course
C++
3
star
10

aoc2021_cpp

cpp after ages
C++
2
star
11

Sumith1896.github.io

My personal homepage with my blog.
HTML
2
star
12

seminar-report

Seminar report on "Space leaks exploration in Haskell", Spring 2017
TeX
2
star
13

wncc-soc

Material of WnCC Seasons Of Code - 2016
C++
1
star
14

pl-papers

My favorite PL papers
1
star
15

EasyFill

App developed for Hackathon at WnCC, IIT Bombay
Java
1
star
16

compilers-lab

Submissions of CS 316 - Implementation of Programming Languages lab
C++
1
star