Elliot Gorokhovsky (embg)

embg

Geek Repo

Company:Meta

Location:New York, NY

Github PK Tool:Github PK Tool

Elliot Gorokhovsky's repositories

pysr

a pure-python symbolic regression library built on deap

Language:PythonStargazers:1Issues:0Issues:0

python-fast-listsort

This patch improves the performance of Python's list.sort() by more than 40% by optimizing dynamic dispatch.

Language:CStargazers:1Issues:1Issues:0

afl

american fuzzy lop (copy of the source code for easy access)

Language:CStargazers:0Issues:1Issues:0

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

angr-doc

Documentation for the angr suite

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

brotli

Brotli compression format

Language:CLicense:MITStargazers:0Issues:1Issues:0

claripy

An abstraction layer for constraint solvers.

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

cle

CLE Loads Everything (at least, many binary formats!)

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

cpython

Optimize list.sort() with type-specialized comparisons. Merged pull request:

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Gorokhovsky_CSCI2270_FinalProject

A SAT-based Sudoku solver.

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:1

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Machine-Learning-Course-Project

Final project for STP 494 Topic: Statistical Machine Learning at ASU, Spring 2019

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

pickaxe

A pattern-mining propagation accelerator for SAT solvers

Language:CStargazers:0Issues:0Issues:0

cutlass

CUDA Templates for Linear Algebra Subroutines

License:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0
Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

lz4

Extremely Fast Compression algorithm

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Machine-Learning-Homeworks

Homeworks for STP 494: Statistical Machine Leanring

Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

PythonDataScienceHandbook

Python Data Science Handbook: full text in Jupyter Notebooks

Language:Jupyter NotebookLicense:MITStargazers:0Issues:1Issues:0

QATzip

Compression Library accelerated by Intel® QuickAssist Technology

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

startbootstrap-grayscale

A multipurpose one page Bootstrap theme created by Start Bootstrap

Language:CSSLicense:Apache-2.0Stargazers:0Issues:1Issues:0

thrift

Apache Thrift

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

zstd

Zstandard - Fast real-time compression algorithm

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0