sirandreww
A master's degree student at the computer science faculty in the Technion - Israel Institute of Technology
Pinned Repositories
cadical-rs
Rust bindings for the CaDiCaL SAT solver
hwmcc_analyze
Simple script for figuring out which problems in HWMCC are yet to be solved.
236754_project_in_intelligent_systems
cadical
CaDiCaL SAT Solver
citizensassemblies-replication
Code for the experiments in the paper: Bailey Flanigan, Paul Gölz, Anupam Gupta, Brett Hennig, Ariel D. Procaccia. Fair Algorithms for Selecting Citizens' Assemblies.
dfdx
Deep learning in Rust, with shape checked tensors and neural networks
hw3-node-test
OOP_hard_sphere_event_chain
Event chain algorithm for hard spheres in quasi two dimensions. Used in the creation of the paper: https://journals.aps.org/prl/accepted/5f071Y88Z6e16c73873350a5a1658409be2fd9e2b, which is also available in partial in https://arxiv.org/abs/2111.14895
operate_first_prometheus_data
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
sirandreww's Repositories
sirandreww/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
sirandreww/cadical-rs
Rust bindings for the CaDiCaL SAT solver
sirandreww/examples
A repository to host examples and tutorials for Gin.
sirandreww/cadical
CaDiCaL SAT Solver
sirandreww/hwmcc_analyze
Simple script for figuring out which problems in HWMCC are yet to be solved.
sirandreww/OOP_hard_sphere_event_chain
Event chain algorithm for hard spheres in quasi two dimensions. Used in the creation of the paper: https://journals.aps.org/prl/accepted/5f071Y88Z6e16c73873350a5a1658409be2fd9e2b, which is also available in partial in https://arxiv.org/abs/2111.14895
sirandreww/dfdx
Deep learning in Rust, with shape checked tensors and neural networks
sirandreww/hw3-node-test
sirandreww/citizensassemblies-replication
Code for the experiments in the paper: Bailey Flanigan, Paul Gölz, Anupam Gupta, Brett Hennig, Ariel D. Procaccia. Fair Algorithms for Selecting Citizens' Assemblies.
sirandreww/236754_project_in_intelligent_systems
sirandreww/operate_first_prometheus_data
sirandreww/ml_tutor_frontend
sirandreww/ml_tutor_algorithms_backend
This Repository contains the Algorithm-Microservice
sirandreww/sv5