João Carreira's starred repositories

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Language:PythonLicense:NOASSERTIONStargazers:263755Issues:6618Issues:290

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptLicense:NOASSERTIONStargazers:79980Issues:984Issues:11453

keras

Deep Learning for humans

Language:PythonLicense:Apache-2.0Stargazers:61294Issues:1913Issues:11977

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:51200Issues:320Issues:613

bypass-paywalls-chrome

Bypass Paywalls web browser extension for Chrome and Firefox.

ripgrep

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Language:RustLicense:UnlicenseStargazers:46292Issues:293Issues:1596

hyperfine

A command-line benchmarking tool

Language:RustLicense:Apache-2.0Stargazers:20788Issues:90Issues:244

sshuttle

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

Language:PythonLicense:LGPL-2.1Stargazers:11338Issues:142Issues:497

stanford-tensorflow-tutorials

This repository contains code examples for the Stanford's course: TensorFlow for Deep Learning Research.

Language:PythonLicense:MITStargazers:10308Issues:624Issues:108

opensnitch

OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

Language:PythonLicense:GPL-3.0Stargazers:9880Issues:199Issues:676

sioyek

Sioyek is a PDF viewer with a focus on textbooks and research papers

Language:CLicense:GPL-3.0Stargazers:6786Issues:38Issues:858

ripgrep-all

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

Language:RustLicense:NOASSERTIONStargazers:6403Issues:40Issues:171

tetris-os

An operating system, but it only plays Tetris.

Language:CLicense:MITStargazers:3398Issues:0Issues:0

bypass-paywalls-firefox

Bypass Paywalls for Firefox

throttled

Workaround for Intel throttling issues in Linux.

Language:PythonLicense:MITStargazers:2612Issues:44Issues:272

blis

BLAS-like Library Instantiation Software Framework

Language:CLicense:NOASSERTIONStargazers:2196Issues:77Issues:438

napkin

An Infinitely Large Napkin

Language:TeXLicense:NOASSERTIONStargazers:1137Issues:46Issues:60

QuantitativePrimer

An Interview Primer for Quantitative Finance

libdivide

Official git repository for libdivide: optimized integer division

Language:C++License:NOASSERTIONStargazers:1062Issues:39Issues:42

DSS

DeepSkyStacker

Language:C++License:NOASSERTIONStargazers:869Issues:43Issues:126

syscall_intercept

The system call intercepting library

Language:CLicense:NOASSERTIONStargazers:620Issues:35Issues:35

pash

PaSh: Light-touch Data-Parallel Shell Processing

Language:ShellLicense:MITStargazers:545Issues:13Issues:208

s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

Language:C++License:NOASSERTIONStargazers:419Issues:12Issues:0

recreation-gov-campsite-checker

Scrapes the recreation.gov website to check for campsite availabilities 🏕🏕

Language:PythonLicense:Apache-2.0Stargazers:314Issues:29Issues:34

cirrus

Serverless ML Framework

Language:C++License:Apache-2.0Stargazers:107Issues:6Issues:9

ServerlessNetworkingClients

Client SDKs for ServerlessNetworking

Language:C++License:NOASSERTIONStargazers:80Issues:9Issues:2

hackjohn

Bot to monitor for southbound permit spaces on the John Muir Trail

Language:PythonLicense:MITStargazers:25Issues:4Issues:9
Language:PythonLicense:MITStargazers:20Issues:1Issues:7

pronghorn-artifact

This artifact accompanies the paper 'Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts,' which has been accepted for presentation at EuroSys'24.

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

disag-firebox

In-kernel RDMA library

Language:CLicense:BSD-3-ClauseStargazers:9Issues:5Issues:4