• Stars
    star
    42
  • Rank 656,625 (Top 13 %)
  • Language
    Python
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Code for the algorithms in the paper: Vaibhav B Sinha, Sukrut Rao, Vineeth N Balasubramanian. Fast Dawid-Skene: A Fast Vote Aggregation Scheme for Sentiment Classification. KDD WISDOM 2018

More Repositories

1

SAT-Solver-DPLL

A simple SAT solver that implements the DPLL algorithm with unit resolution
C++
43
star
2

Adversarial-Patch-Training

Code for the paper: Adversarial Training Against Location-Optimized Adversarial Patches. ECCV-W 2020.
Python
40
star
3

Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
C++
38
star
4

Model-Guidance

Code for the paper: Studying How to Efficiently and Effectively Guide Models with Explanations. ICCV 2023.
Python
16
star
5

SAT-Solver-CDCL

A simple SAT solver based on the CDCL algorithm
C++
15
star
6

Attribution-Evaluation

Code for the paper: Towards Better Understanding Attribution Methods. CVPR 2022.
Python
14
star
7

MIPS-Simulator

A simple MIPS Simulator that can simulate execution in MIPS for a small subset of instructions under several restrictions
C++
9
star
8

Page-Replacement-Algorithm-Simulator

Program to accept number of physical frames, list of page accesses, and the page replacement algorithm and output the number of faults and whether each access was a fault or not. Supports FIFO, LRU, and OPTIMAL algorithms.
C++
6
star
9

Load-Balancer

A Plug-and-Play Load Balancer in Golang
Go
5
star
10

IntervalAI

An abstract interpreter for an integer interval domain supporting basic operations for simple C programs
C++
4
star
11

crowdsourced-data-simulator

A program that simulates answers given by a crowd to multiple choice questions with either a single or multiple answers correct, and writes it to a CSV
Python
4
star
12

Tic-Tac-Toe-Prolog

A one player Tic-Tac-Toe Game in Prolog
Prolog
3
star
13

Artillery-Game

A turn based three player tank game in Haskell
Haskell
2
star
14

MaxSAT-Solver

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
C++
2
star
15

deepagg

Implementation of the model described in "Training deep neural nets to aggregate crowdsourced responses." by Gaunt et al.
Python
1
star
16

Lexical-Analyser-Cool

Java
1
star
17

Tic-Tac-Toe-Game

A one player and two player Tic Tac Toe game for Android
Java
1
star
18

Quiz-Game

A basic web based multiple choice quiz game
JavaScript
1
star
19

ROS-Automated-License-Plate-Recognition

CS6490 Assignment: ROS Package to perform automated license plate recognition on images using OpenALPR
C++
1
star