saeednj

saeednj's Stars

• TheAlgorithms/C-Plus-Plus

  Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

  Language:C++29.7k5152867.1k

• microsoft/IoT-For-Beginners

  12 Weeks, 24 Lessons, IoT for All!

  Language:C++15k3271262.3k

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML10k2453310.7k

• autogluon/autogluon

  Fast and Accurate ML in 3 Lines of Code

  Language:Python7.5k1001.3k885

• sobolevn/awesome-cryptography

  A curated list of cryptography resources and links.

  5.6k18525653

• alexcasalboni/aws-lambda-power-tuning

  AWS Lambda Power Tuning is an open-source tool that can help you visualize and fine-tune the memory/power configuration of Lambda functions. It runs in your own AWS account - powered by AWS Step Functions - and it supports three optimization strategies: cost, speed, and balanced.

  Language:JavaScript5.3k76119364

• google/fully-homomorphic-encryption

  An FHE compiler for C++

  Language:C++3.5k8936251

• corkami/collisions

  Hash collisions and exploitations

  Language:Python3k4512185

• orderedlist/minimal

  A Theme for GitHub Pages

  Language:CSS2.2k3836755

• corkami/pocs

  Proof of Concepts (PE, PDF...)

  Language:Assembly1.4k747197

• locuslab/SATNet

  Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

  Language:Python401351753

• pysathq/pysat

  A toolkit for SAT-based prototyping in Python

  Language:Python3821913269

• NeuralNetworkVerification/Marabou

  Language:C++2462824986

• sambayless/monosat

  MonoSAT - An SMT solver for Monotonic Theories

  Language:C++106131932

• marijnheule/drat-trim

  The DRAT-trim proof checker

  Language:C4963120

• 95616ARG/SyReNN

  SyReNN: Symbolic Representations for Neural Networks

  Language:Python40515

• conp-solutions/mergesat

  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

  Language:C++39403

• awslabs/rust-smt-ir

  Language:SMT311237

• alexander-nadel/intel_sat_solver

  This repository contains the code of Intel(R) SAT Solver (IntelSAT)

  Language:C++21216

• MachSMT/MachSMT

  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers

  Language:Python17424

• claudiacauli/CloudFORMAL

  Prototype compiler from AWS CloudFormation IaC templates into Logic.

  Language:Scala13311

• jia-kai/eevbnn

  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks

  Language:Python12303

• curtisbright/maplesat

  GitHub mirror of the MapleSAT repo

  Language:C++7304

• jia-kai/minisatcs

  A minimalistic and high-performance SAT solver

  Language:C++4102

• StephanGocht/hash_games

  Problem generator for CNF and PBO encodings of hash functions.

  Language:Python4300

• ale64bit/kaktusat

  A study playground about SAT solvers, their implementation and applications

  Language:C++3200

• curtisbright/mathcheck2

  GitHub mirror of the MathCheck repository

  Language:Python3301

• msoos/3dVis

  3dVis by Carsten Sinz

  Language:C++3202

• conp-solutions/hordesat

  Language:C++1100

• olegzaikin/MD4-CnC

  Sources and data for the paper 'Inverting 43-step MD4 via Cube-and-Conquer' accepted to IJCAI-ECAI-2022

  Language:Python1100