sirandreww

sirandreww's Stars

• gipsyh/mc-benchmark

  Language:Verilog3

• hgarrereyn/SBVA

  Structured BVA

  Language:C++295

• russellizadi/ssp

  Language:Python9219

• Anonymous1252022/KR_for_GNNs

  Language:Python102

• Qiskit/rustworkx

  A high performance Python graph library implemented in Rust.

  Language:Rust1.1k148

• leolion3/Portfolio

  Leonard Haddad's little portfolio website using Github Pages and Jekyll, containing a bunch of useful tools.

  Language:Python6

• coreylowman/dfdx

  Deep learning in Rust, with shape checked tensors and neural networks

  Language:Rust1.7k99

• mmaroti/cadical-rs

  Rust bindings for the CaDiCaL SAT solver

  Language:Rust77

• arbrad/IC3ref

  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

  Language:C++5218

• shnarazk/splr

  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

  Language:Rust758

• vMaroon/EZRecruit

  Technion CS Project for Pa'amonim HR.

  1

• teresafarah/236333_project_in_iot_espov_blue

  IOT device to view images via rotating LEDs.

  Language:Dart12