Pinned Repositories
arxivwiki
enriched e-Prints
bay
🐟 A simple theme for Jekyll. Live at https://eliottvincent.github.io/bay/
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.
coq-types
A repository containing an implementation of certain Types (such as Nat, Bool, etc.) in Coq, with Theorems and Functions
coreference-resolution
This branch contains code that I wrote at UIUC with Sean Massung under Prof. Zhai for my Independent Study in Fall-2014.
cracking-the-coding-interview
My solutions to certain problems from Cracking The Coding Interview
crashsimilarity
Similarity between crash reports
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
RefinementTypes_llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
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.
jssandh2's Repositories
jssandh2/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.
jssandh2/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
jssandh2/RefinementTypes_llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
jssandh2/arxivwiki
enriched e-Prints
jssandh2/bay
🐟 A simple theme for Jekyll. Live at https://eliottvincent.github.io/bay/
jssandh2/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.
jssandh2/coq-types
A repository containing an implementation of certain Types (such as Nat, Bool, etc.) in Coq, with Theorems and Functions
jssandh2/coreference-resolution
This branch contains code that I wrote at UIUC with Sean Massung under Prof. Zhai for my Independent Study in Fall-2014.
jssandh2/cracking-the-coding-interview
My solutions to certain problems from Cracking The Coding Interview
jssandh2/crashsimilarity
Similarity between crash reports
jssandh2/DeepMimic
Motion imitation with deep reinforcement learning.
jssandh2/dotfiles
A collection of my dotfiles, mainly `.bashrc` and `.emacs` and `quack.el` on Linux's 16.04 TLS Ubuntu
jssandh2/functional-data-structures
A repository containing implementations of Data Structures in a Functional style using SML
jssandh2/graph-algorithms
An implementation of certain Graph Algorithms in Python 3.0
jssandh2/graphql-compiler
Turn complex GraphQL queries into optimized database queries.
jssandh2/Juspreet-Sandhu
A world of Mathematics, Theoretical Computer Science, Classical Music and Mountains
jssandh2/lio
Labeled IO Library
jssandh2/qaoa-reference
jssandh2/rust-systems
Some Rust Code implementing : Classic Concurrent Tasks, Distributed Algorithms, Random Threading
jssandh2/sorting-algorithms
A directory containing C++ code implementations of Quicksort and Insertion Sort
jssandh2/string-algorithms
A repository containing functions to manipulate strings and do fun things with them
jssandh2/technical-reports
A collection of technical reports I have written over the years.
jssandh2/TetrisPal
Tetris player with features from Pierre Dellacherie's algorithm and Particle Swarm Optimisation
jssandh2/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.
jssandh2/verdi
A framework for formally verifying distributed systems implementations in Coq
jssandh2/verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
jssandh2/z3
The Z3 Theorem Prover