There are no reviews yet. Be the first to send feedback to the community and the maintainers!
SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolutionFast-Dawid-Skene
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 2018Adversarial-Patch-Training
Code for the paper: Adversarial Training Against Location-Optimized Adversarial Patches. ECCV-W 2020.Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solverModel-Guidance
Code for the paper: Studying How to Efficiently and Effectively Guide Models with Explanations. ICCV 2023.SAT-Solver-CDCL
A simple SAT solver based on the CDCL algorithmAttribution-Evaluation
Code for the paper: Towards Better Understanding Attribution Methods. CVPR 2022.MIPS-Simulator
A simple MIPS Simulator that can simulate execution in MIPS for a small subset of instructions under several restrictionsPage-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.Load-Balancer
A Plug-and-Play Load Balancer in GolangIntervalAI
An abstract interpreter for an integer interval domain supporting basic operations for simple C programscrowdsourced-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 CSVTic-Tac-Toe-Prolog
A one player Tic-Tac-Toe Game in PrologArtillery-Game
A turn based three player tank game in HaskellMaxSAT-Solver
A simple partial unweighted MaxSAT Solver that uses a Minisat backbonedeepagg
Implementation of the model described in "Training deep neural nets to aggregate crowdsourced responses." by Gaunt et al.Lexical-Analyser-Cool
Tic-Tac-Toe-Game
A one player and two player Tic Tac Toe game for AndroidQuiz-Game
A basic web based multiple choice quiz gameLove Open Source and this site? Check out how you can help us