Gabriel Igliozzi (gabeiglio)

gabeiglio

Geek Repo

Company:Netflix

Location:Los Gatos

Home Page:gabeiglio.xyz

Twitter:@gabeiglio

Github PK Tool:Github PK Tool

Gabriel Igliozzi's starred repositories

free-programming-books

:books: Freely available programming books

coding-interview-university

A complete computer science study plan to become a software engineer.

papers-we-love

Papers from the computer science community to read and discuss.

opencv

Open Source Computer Vision Library

Language:C++License:Apache-2.0Stargazers:76392Issues:2655Issues:10558

cpython

The Python programming language

Language:PythonLicense:NOASSERTIONStargazers:60394Issues:1515Issues:67906

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

openpose

OpenPose: Real-time multi-person keypoint detection library for body, face, hands, and foot estimation

Language:C++License:NOASSERTIONStargazers:30183Issues:920Issues:1955

os-tutorial

How to create an OS from scratch

Language:CLicense:BSD-3-ClauseStargazers:26499Issues:803Issues:172

v8

The official mirror of the V8 Git repository

Language:C++License:NOASSERTIONStargazers:22819Issues:963Issues:0

saleor

Saleor Core: the high performance, composable, headless commerce API.

Language:PythonLicense:BSD-3-ClauseStargazers:20261Issues:372Issues:4284

Stockfish

A free and strong UCI chess engine

Language:C++License:GPL-3.0Stargazers:10714Issues:245Issues:924

re2

RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

Language:C++License:BSD-3-ClauseStargazers:8698Issues:239Issues:402

awesome-math

A curated list of awesome mathematics resources

wren

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.

Language:WrenLicense:MITStargazers:6784Issues:157Issues:573

plt

Programming Language Theory λΠ

sds

Simple Dynamic Strings library for C

Language:CLicense:BSD-2-ClauseStargazers:4822Issues:142Issues:41

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4669Issues:103Issues:9913

math

🧮 Path to a free self-taught education in Mathematics!

3D-printed-mirror-array

3D-printable hexagonal mirror array capable of reflecting sunlight into arbitrary patterns

Language:Jupyter NotebookLicense:MITStargazers:2407Issues:30Issues:8

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2396Issues:66Issues:5430

epsilon

Modern graphing calculator operating system.

utest.h

🧪 single header unit testing framework for C and C++

Language:C++License:UnlicenseStargazers:782Issues:16Issues:44

WLASL

WACV 2020 "Word-level Deep Sign Language Recognition from Video: A New Large-scale Dataset and Methods Comparison"

awesome-theoretical-computer-science

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

Language:PythonLicense:CC0-1.0Stargazers:617Issues:12Issues:1

Marky-Mark

Markdown parser for iOS

Language:SwiftLicense:MITStargazers:297Issues:10Issues:43

mass

A compiler for a new language focusing on compile-time execution and no LLVM dependency.

Regex

Open source regex engine

MisterQueen

A chess engine written in C.

Language:CLicense:MITStargazers:148Issues:12Issues:6

Resources-for-engineering-students-who-like-mathematics

This is a collection of resources that I feel will prove useful to anyone studying in the area of engineering but also like mathematics. I urge anyone who comes across this, to contribute to the list in proper sequence/indexing

CS107E-GB-Emulator

The final project for the Stanford CS107e class. Gameboy emulator running on bare-metal Raspberry Pi.

Language:CLicense:MITStargazers:22Issues:5Issues:10