saeednj's Stars
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
google/or-tools
Google's Operations Research tools:
freeCodeCamp/how-to-contribute-to-open-source
A guide to contributing to open source
tkipf/gcn
Implementation of Graph Convolutional Networks in TensorFlow
tiny-dnn/tiny-dnn
header only, dependency-free deep learning framework in C++14
microsoft/QuantumKatas
Tutorials and programming exercises for learning Q# and quantum computing
google-deepmind/open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
microsoft/malmo
Project Malmo is a platform for Artificial Intelligence experimentation and research built on top of Minecraft. We aim to inspire a new generation of research into challenging new problems presented by this unique environment. --- For installation instructions, scroll down to *Getting Started* below, or visit the project page for more information:
PatilShreyas/Foodium
🍲Foodium is a sample food blog Android application 📱 built to demonstrate the use of Modern Android development tools - (Kotlin, Coroutines, Flow, Dagger 2/Hilt, Architecture Components, MVVM, Room, Retrofit, Moshi, Material Components).
samyk/skyjack
A drone engineered to autonomously seek out, hack, and wirelessly take full control over any other Parrot or 3DR drones within wireless or flying distance, creating an army of zombie drones under your control.
opensoldat/opensoldat
OpenSoldat is a unique 2D (side-view) multiplayer action game
nok/sklearn-porter
Transpile trained scikit-learn estimators to C, Java, JavaScript and others.
tensorflow/deepmath
Experiments towards neural network theorem proving
irsdl/top10webseclist
Top Ten Web Hacking Techniques List
XKCP/XKCP
eXtended Keccak Code Package
chromakode/xkcdfools
xkcd CLI + jQuery terminal implementation
arminbiere/kissat
arminbiere/cadical
CaDiCaL SAT Solver
EasyCrypt/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
marijnheule/microsat
microsat
dselsam/neurocore-public
NeuroCore: Guiding CDCL with Unsat-Core Predictions
automl/AutoFolio
Automated Algorithm Selection with Hyperparameter Optimization
marijnheule/CnC
Cube-and-Conquer SAT solver
MarkusRabe/cadet
A fast and certifying solver for quantified Boolean formulas.
miladghaznavi/Elastic-VNF-Placement
Elastic Virtual Network Function Placement
vsklad/cgen
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
vardigroup/FourierSAT
A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
marijnheule/CNP-SAT
SAT tools to compute unit-distance graphs
jesse-michael-han/neurocuber-public
Learning cubing heuristics for SAT from DRAT proofs
cogito-cea/mylittlepwny
Tools for side-channel analysis