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++31k5113137.3k

• microsoft/IoT-For-Beginners

  12 Weeks, 24 Lessons, IoT for All!

  Language:C++15.5k3351292.4k

• alshedivat/al-folio

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

  Language:HTML11.6k2758911.4k

• autogluon/autogluon

  Fast and Accurate ML in 3 Lines of Code

  Language:Python8.2k971.5k937

• sobolevn/awesome-cryptography

  A curated list of cryptography resources and links.

  6k18329675

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

• google/fully-homomorphic-encryption

  An FHE compiler for C++

  Language:C++3.5k8937257

• corkami/collisions

  Hash collisions and exploitations

  Language:Python3.1k4412191

• orderedlist/minimal

  A Theme for GitHub Pages

  Language:CSS2.3k3836793

• corkami/pocs

  Proof of Concepts (PE, PDF...)

  Language:Assembly1.5k757198

• locuslab/SATNet

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

  Language:Python409361752

• pysathq/pysat

  A toolkit for SAT-based prototyping in Python

  Language:Python4001913870

• NeuralNetworkVerification/Marabou

  Language:C++2692826593

• sambayless/monosat

  MonoSAT - An SMT solver for Monotonic Theories

  Language:C++108132030

• marijnheule/drat-trim

  The DRAT-trim proof checker

  Language:C5363120

• 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++40403

• awslabs/rust-smt-ir

  Language:SMT371238

• alexander-nadel/intel_sat_solver

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

  Language:C++26416

• MachSMT/MachSMT

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

  Language:Python20424

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

• 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