Pinned Repositories
checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
BMMSAT
This repository is for experimental codes on use of Bayesian Moment Matching in SAT/MAX-SAT solvers
CDCL-Crypto
CDCL(Crypto) SAT solver for cryptanalysis problems
flutter-reversi
An implementation of the game Reversi in flutter.
MaplePainless-DC
A divide-and-conquer parallel SAT solver with machine learning based splitting heuristic.
reversi
A web-based version of Reversi with AI
SAT-encoding
Encoding different problems into Boolean satisfiability
saeednj's Repositories
saeednj/SAT-encoding
Encoding different problems into Boolean satisfiability
saeednj/CDCL-Crypto
CDCL(Crypto) SAT solver for cryptanalysis problems
saeednj/MaplePainless-DC
A divide-and-conquer parallel SAT solver with machine learning based splitting heuristic.
saeednj/BMMSAT
This repository is for experimental codes on use of Bayesian Moment Matching in SAT/MAX-SAT solvers
saeednj/flutter-reversi
An implementation of the game Reversi in flutter.
saeednj/reversi
A web-based version of Reversi with AI
saeednj/awesome-cryptography
A curated list of cryptography resources and links.
saeednj/blog
Content, code and related material for my blog
saeednj/Hello-World
Hello World in different languages !
saeednj/maplesat
GitHub mirror of the MapleSAT repo
saeednj/mini-agents
Simple AI programs developed for different games
saeednj/misc
Miscellaneous stuff
saeednj/p4p-2015
ECE 459: Programming for Performance, Winter 2015
saeednj/RIPE
Buffer overflow testbed, research paper published at ACSAC 2011
saeednj/saeednj.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
saeednj/webpage