Pinned Loading

1. autograd autograd Public

   C++

2. SAT-Solver SAT-Solver Public

   Repository for a robust SAT solver in C++, utilizing advanced algorithms (DPLL, CDCL) and heuristics (VSIDS) for optimal efficiency.

   Makefile

3. Othello-RL-MCTS Othello-RL-MCTS Public

   An implementation of Monte Carlo Tree Search (MCTS) and Deep Reinforcement Learning (Deep RL) for Othello, drawing inspiration from AlphaZero.

   Python

4. abstraction-ide abstraction-ide Public

   TypeScript

5. AgeGraph-GNN-fMRI AgeGraph-GNN-fMRI Public

   Python repository for age group classification from fMRI data using Graph Convolutional Networks (GCNs).

   Python

6. eye-tracker eye-tracker Public

   Python