Juspreet Singh Sandhu (jssandh2)

jssandh2

Geek Repo

Company:@Harvard

Location:Cambridge, MA

Home Page:http://juspreetsandhu.me

Github PK Tool:Github PK Tool


Organizations
OPLSS

Juspreet Singh Sandhu's repositories

stock-search-engine

I wrote, with my group, code to use the Bing API, Alchemy API and Quandl API to pull out sentiment analysis and relevance of each article on a company, and then use their stock score to write a retrieval function to score each article based on how well it's predictions came out to be. We used a customized Maxwell Distribution curve and a log penalty. After crawling, we assigned score to all the sources and refined the search result.

Language:PythonLicense:NOASSERTIONStargazers:2Issues:2Issues:0

pcf-redex

An implementation of the Formal Semantics of the PCF Language including Type-Inference Rules, Reduction Semantics and Contract Semantics for Higher-Order Functions

Language:RacketLicense:Apache-2.0Stargazers:1Issues:3Issues:0

RefinementTypes_llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

Language:LLVMLicense:NOASSERTIONStargazers:1Issues:2Issues:0

arxivwiki

enriched e-Prints

Language:JavaScriptStargazers:0Issues:1Issues:0

bay

🐟 A simple theme for Jekyll. Live at https://eliottvincent.github.io/bay/

Language:HTMLLicense:ISCStargazers:0Issues:1Issues:0

chess-game-java

A description of the logic behind a chess game with an OOP implementation. Logic for all moves is given, including checks for check, checkmate, etc. This was developed with my friend for CS-242 (UIUC), where I assisted my friend in the project. I will be developing a UI using Java for the game soon, including the implementation of Castling.

Language:JavaStargazers:0Issues:3Issues:0

coq-types

A repository containing an implementation of certain Types (such as Nat, Bool, etc.) in Coq, with Theorems and Functions

Language:CoqLicense:Apache-2.0Stargazers:0Issues:2Issues:0

coreference-resolution

This branch contains code that I wrote at UIUC with Sean Massung under Prof. Zhai for my Independent Study in Fall-2014.

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

cracking-the-coding-interview

My solutions to certain problems from Cracking The Coding Interview

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

crashsimilarity

Similarity between crash reports

Language:PythonLicense:MPL-2.0Stargazers:0Issues:2Issues:0

DeepMimic

Motion imitation with deep reinforcement learning.

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

dotfiles

A collection of my dotfiles, mainly `.bashrc` and `.emacs` and `quack.el` on Linux's 16.04 TLS Ubuntu

Language:Emacs LispLicense:Apache-2.0Stargazers:0Issues:2Issues:0

functional-data-structures

A repository containing implementations of Data Structures in a Functional style using SML

Language:Standard MLLicense:Apache-2.0Stargazers:0Issues:2Issues:0

graph-algorithms

An implementation of certain Graph Algorithms in Python 3.0

Language:PythonLicense:Artistic-2.0Stargazers:0Issues:2Issues:0

graphql-compiler

Turn complex GraphQL queries into optimized database queries.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

Juspreet-Sandhu

A world of Mathematics, Theoretical Computer Science, Classical Music and Mountains

Language:HTMLStargazers:0Issues:0Issues:0

lio

Labeled IO Library

Language:HaskellStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

rust-systems

Some Rust Code implementing : Classic Concurrent Tasks, Distributed Algorithms, Random Threading

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

sorting-algorithms

A directory containing C++ code implementations of Quicksort and Insertion Sort

Language:C++Stargazers:0Issues:2Issues:0

string-algorithms

A repository containing functions to manipulate strings and do fun things with them

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

technical-reports

A collection of technical reports I have written over the years.

Stargazers:0Issues:2Issues:0

TetrisPal

Tetris player with features from Pierre Dellacherie's algorithm and Particle Swarm Optimisation

Language:JavaStargazers:0Issues:0Issues:0

timestamp-database

This is a Database designed for Transaction blocks with Optimized Run-Time for the following commands : SET, UNSET, GET, NUMEQUALTO. In addition, to start BEGIN starts a transaction block, while ROLLBACK clears it. All transactions are stored. COMMIT freezes all transactions, and END deletes the Databse.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

verdi

A framework for formally verifying distributed systems implementations in Coq

Language:CoqLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

verdi-lockserv

An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

Language:CoqLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

z3

The Z3 Theorem Prover

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