saeednj

saeednj's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown367k5.9k75034.1k

• google/or-tools

  Google's Operations Research tools:

  Language:C++11.8k3073k2.2k

• freeCodeCamp/how-to-contribute-to-open-source

  A guide to contributing to open source

  Language:Ruby8.9k2192431.8k

• tkipf/gcn

  Implementation of Graph Convolutional Networks in TensorFlow

  Language:Python7.2k1551942k

• tiny-dnn/tiny-dnn

  header only, dependency-free deep learning framework in C++14

  Language:C++5.9k3345781.4k

• microsoft/QuantumKatas

  Tutorials and programming exercises for learning Q# and quantum computing

  Language:Jupyter Notebook4.7k2291671.2k

• google-deepmind/open_spiel

  OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

  Language:C++4.5k103571977

• 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:

  Language:Java4.1k259712602

• 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).

  Language:Kotlin2.3k5631416

• 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.

  Language:JavaScript1.7k1987428

• opensoldat/opensoldat

  OpenSoldat is a unique 2D (side-view) multiplayer action game

  Language:Pascal1.4k447390

• nok/sklearn-porter

  Transpile trained scikit-learn estimators to C, Java, JavaScript and others.

  Language:Python1.3k3270169

• tensorflow/deepmath

  Experiments towards neural network theorem proving

  Language:C++7876417138

• irsdl/top10webseclist

  Top Ten Web Hacking Techniques List

  738403108

• XKCP/XKCP

  eXtended Keccak Code Package

  Language:C6014371194

• chromakode/xkcdfools

  xkcd CLI + jQuery terminal implementation

  Language:JavaScript5711932115

• arminbiere/kissat

  Language:C519275390

• arminbiere/cadical

  CaDiCaL SAT Solver

  Language:C++4252491143

• EasyCrypt/easycrypt

  EasyCrypt: Computer-Aided Cryptographic Proofs

  Language:OCaml3432128249

• marijnheule/microsat

  microsat

  Language:C1338625

• dselsam/neurocore-public

  NeuroCore: Guiding CDCL with Unsat-Core Predictions

  Language:Python44739

• automl/AutoFolio

  Automated Algorithm Selection with Hyperparameter Optimization

  Language:Python3851011

• marijnheule/CnC

  Cube-and-Conquer SAT solver

  Language:C339111

• MarkusRabe/cadet

  A fast and certifying solver for quantified Boolean formulas.

  Language:C262813

• 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.

  Language:C++25266

• miladghaznavi/Elastic-VNF-Placement

  Elastic Virtual Network Function Placement

  Language:C++241010

• vardigroup/FourierSAT

  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.

  Language:Python12410

• jesse-michael-han/neurocuber-public

  Learning cubing heuristics for SAT from DRAT proofs

  Language:Python6100

• marijnheule/CNP-SAT

  SAT tools to compute unit-distance graphs

  Language:Python6300

• cogito-cea/mylittlepwny

  Tools for side-channel analysis

  Language:Haskell2301