inserttext starred leanprover/lean

Dec 30, 2020

leanprover/lean

Lean Theorem Prover

C++ 1.8k Updated Dec 30

inserttext starred commaai/openpilot

Dec 30, 2020

commaai/openpilot

openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Control for …

C++ 21.7k Updated Dec 30

anurag4DSB started following donnemartin

Dec 29, 2020

Donne Martin donnemartin

Tech Lead @facebook

27 repositories 11.3k followers

matias-eduardo starred hacknug/tailwindcss-text-fill-stroke

Dec 29, 2020

hacknug/tailwindcss-text-fill-stroke

Text-fill and text-stroke utilities for Tailwind CSS.

JavaScript 9 Updated Dec 29

stubisdon starred microsoft/Web-Dev-For-Beginners

Dec 29, 2020

microsoft/Web-Dev-For-Beginners

24 Lessons, 12 Weeks, Get Started as a Web Developer

JavaScript 10.9k Updated Dec 29

akharrou starred ryanoasis/powerline-extra-symbols

Dec 29, 2020

ryanoasis/powerline-extra-symbols

▶️ Extra glyphs for your powerline separators

PostScript 750 Updated Dec 29

akharrou starred gabrielelana/pomicons

Dec 29, 2020

gabrielelana/pomicons

Font with symbols to talk about the "Pomodoro Technique"

CSS 120 Updated Dec 29

akharrou starred lukas-w/font-logos

Dec 29, 2020

lukas-w/font-logos

An icon font providing popular linux distro's logos

HTML 246 Updated Dec 29

akharrou starred primer/octicons

Dec 29, 2020

primer/octicons

A scalable set of icons handcrafted with <3 by GitHub

JavaScript 6.5k Updated Dec 29

akharrou starred erikflowers/weather-icons

Dec 29, 2020

erikflowers/weather-icons

215 Weather Themed Icons and CSS

CSS 5.8k Updated Dec 29

akharrou starred Templarian/MaterialDesign

Dec 29, 2020

Templarian/MaterialDesign

✒5600+ Material Design Icons from the Community

8.6k Updated Dec 29

akharrou starred FortAwesome/Font-Awesome

Dec 29, 2020

FortAwesome/Font-Awesome

The iconic SVG, font, and CSS toolkit

JavaScript 64.8k Updated Dec 29

akharrou starred sindresorhus/pure

Dec 29, 2020

sindresorhus/pure

Pretty, minimal and fast ZSH prompt

Shell 9.8k 4 issues need help Updated Dec 29

akharrou starred romkatv/powerlevel10k

Dec 29, 2020

romkatv/powerlevel10k

A Zsh theme

Shell 13.7k Updated Dec 29

akharrou starred Powerlevel9k/powerlevel9k

Dec 29, 2020

Powerlevel9k/powerlevel9k

Powerlevel9k was a tool for building a beautiful and highly functional CLI, customized for you. P9k had a substantial impact on CLI UX, and its leg…

Shell 13k Updated Dec 29

AlphaPiece created a repository AlphaPiece/web-noob

Dec 29, 2020

AlphaPiece/web-noob

Let's create a Facebook.

Updated Dec 29

akharrou starred ryanoasis/vim-devicons

Dec 29, 2020

ryanoasis/vim-devicons

Adds file type icons to Vim plugins such as: NERDTree, vim-airline, CtrlP, unite, Denite, lightline, vim-startify and many more

Vim script 3.8k 3 issues need help Updated Dec 29

pootitan starred yehshan34/mentor-program-4th-yehshan34

Dec 29, 2020

yehshan34/mentor-program-4th-yehshan34

mentor-program-4th-yehshan34 created by GitHub Classroom

1 Updated Dec 29

akharrou starred ryanoasis/nerd-fonts

Dec 29, 2020

ryanoasis/nerd-fonts

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Mater…

CSS 25.5k 5 issues need help Updated Dec 29

akharrou starred Binaryify/OneDark-Pro

Dec 29, 2020

Binaryify/OneDark-Pro

Atom's iconic One Dark theme for Visual Studio Code

TypeScript 764 Updated Dec 29

akharrou starred mbadolato/iTerm2-Color-Schemes

Dec 29, 2020

mbadolato/iTerm2-Color-Schemes

Over 230 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remmina, Termite, XFCE, Tild…

Shell 18.7k Updated Dec 29

akharrou starred shuowu/yi-note

Dec 29, 2020

shuowu/yi-note

YiNote browser extension - online video note taking tool

JavaScript 65 Updated Dec 29

bgoncharov starred watanabetoshinori/AppPattern_PasswordManager

Dec 29, 2020

watanabetoshinori/AppPattern_PasswordManager

The PasswordManager manages usernames and passwords for sites using AuthenticationServices framework.

Swift 3 Updated Dec 29

akharrou starred insanum/gcalcli

Dec 29, 2020

insanum/gcalcli

Google Calendar Command Line Interface

Python 2.4k Updated Dec 29

akharrou starred lfos/calcurse

Dec 29, 2020

lfos/calcurse

A text-based calendar and scheduling application

C 452 Updated Dec 29

Travmatth starred flouthoc/vas-quod

Dec 29, 2020

flouthoc/vas-quod

🚡 Minimal linux container runtime.

Rust 166 Updated Dec 29

motaylormo created a repository motaylormo/Notes-Chords

Dec 29, 2020

motaylormo/Notes-Chords

Notes and chords on stringed instruments.

Updated Dec 29

bgoncharov started following TBXark

Dec 29, 2020

TBXark TBXark

iOS Developer, Swift programmer.

43 repositories 311 followers

DavidMendelovits created a repository DavidMendelovits/rails

Dec 28, 2020

DavidMendelovits/rails

Updated Dec 28

ChrisRenfrow starred orlopau/ember-mug

Dec 28, 2020

orlopau/ember-mug

Reverse engineered bluetooth protocol for Ember Mugs

8 Updated Dec 28

DavidMendelovits starred hotwire-django/turbo-django

Dec 28, 2020

hotwire-django/turbo-django

An early stage integration of Hotwire Turbo with Django

Python 28 Updated Dec 28

akharrou starred munki/munki

Dec 28, 2020

munki/munki

Managed software installation for macOS —

Python 2.3k Updated Dec 28

Seojun-Park created a repository Seojun-Park/Jinstagram-server

Dec 28, 2020

Seojun-Park/Jinstagram-server

Updated Dec 28

akharrou starred obsproject/obs-studio

Dec 28, 2020

obsproject/obs-studio

OBS Studio - Free and open source software for live streaming and screen recording

C 24.4k Updated Dec 28

akharrou starred johnboiles/obs-mac-virtualcam

Dec 28, 2020

johnboiles/obs-mac-virtualcam

ARCHIVED! This plugin is officially a part of OBS as of version 26.1. See note below for info on upgrading. 🎉🎉🎉Creates a virtual webcam device from…

Objective-C++ 4.1k 1 issue needs help Updated Dec 28

akharrou starred Gallopsled/pwntools

Dec 28, 2020

Gallopsled/pwntools

CTF framework and exploit development library

Python 7.4k Updated Dec 28

akharrou starred gpg/gnupg

Dec 28, 2020

gpg/gnupg

The GNU Privacy Guard. Mirror from:

C 346 Updated Dec 28

akharrou starred muttmua/mutt

Dec 28, 2020

muttmua/mutt

The Mutt E-Mail Client github mirror. Please use gitlab for issues/pull requests.

C 77 Updated Dec 28

JamieDawson created a repository JamieDawson/insta-react

Dec 28, 2020

JamieDawson/insta-react

Updated Dec 28

akharrou starred jarun/nnn

Dec 28, 2020

jarun/nnn

n³ The unorthodox terminal file manager.

C 10.1k Updated Dec 28

mastrella started following TeaminusEight

Dec 28, 2020

TeaminusEight

3 repositories

arwn created a repository arwn/colemak-dh-windows

Dec 28, 2020

arwn/colemak-dh-windows

Updated Dec 28

DavidMendelovits started following racheltho

Dec 27, 2020

Rachel Thomas racheltho

deep learning research @fastai + USF Data Institute. past: duke math phD, quant, uber engineer, hackbright instructor

28 repositories 1.8k followers

DavidMendelovits starred fastai/numerical-linear-algebra

Dec 27, 2020

fastai/numerical-linear-algebra

Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course

Jupyter Notebook 7.6k Updated Dec 27

jraleman created a repository jraleman/sample-shopify-app

Dec 27, 2020

jraleman/sample-shopify-app

Building a Shopify App with Node and React

Updated Dec 27

alexdrean starred vi-kon/multiwii-node-msp

Dec 27, 2020

vi-kon/multiwii-node-msp

NodeJS MultiWii Serial Protocol to send or receive commands from MultiWii via TCP/IP

JavaScript 5 Updated Dec 27

alexdrean starred socketio/socket.io

Dec 27, 2020

socketio/socket.io

Realtime application framework (Node.JS server)

JavaScript 52.1k Updated Dec 27

akharrou starred philc/vimium

Dec 27, 2020

philc/vimium

The hacker's browser.

JavaScript 14.7k Updated Dec 27

akharrou starred msjche/dotfiles_laptop

Dec 27, 2020

msjche/dotfiles_laptop

Vim script 18 Updated Dec 27

akharrou starred qutebrowser/qutebrowser

Dec 27, 2020

qutebrowser/qutebrowser

A keyboard-driven, vim-like browser based on PyQt5.

Python 6.1k Updated Dec 27

akharrou starred chrisallenlane/cheat

Dec 27, 2020

chrisallenlane/cheat

cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrators of optio…

31 Updated Dec 27

akharrou starred kisom/surfraw

Dec 27, 2020

kisom/surfraw

local changes to surfraw - local edits prior to sending updates to surfraw-devel

Shell 44 Updated Dec 27

akharrou starred tats/w3m

Dec 27, 2020

tats/w3m

Debian's w3m: WWW browsable pager

C 242 Updated Dec 27

akharrou starred GNOME/zenity

Dec 27, 2020

GNOME/zenity

Read-only mirror of https://gitlab.gnome.org/GNOME/zenity

C 97 Updated Dec 27

RobertWWong starred jwasham/coding-interview-university

Dec 27, 2020

jwasham/coding-interview-university

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

150k Updated Dec 27

matias-eduardo started following Tetralux

Dec 27, 2020

Tetralux

18 repositories 2 followers

maxmoros created a repository maxmoros/Box-of-Cards

Dec 27, 2020

maxmoros/Box-of-Cards

Building quick online card game for pandemic

Updated Dec 27

eliu42 starred puppeteer/puppeteer

Dec 27, 2020

puppeteer/puppeteer

Headless Chrome Node.js API

TypeScript 67.7k Updated Dec 27

MooseandSquvirrel forked MooseandSquvirrel/Best-README-Template from othneildrew/Best-README-Template

Dec 26, 2020

othneildrew/Best-README-Template

An awesome README template to jumpstart your projects!

1.7k Updated Dec 26

NoahCardoza started following JohnnyDorfmeister

Dec 26, 2020

Johnny Dorfmeister JohnnyDorfmeister

oldschool webdeveloper

4 repositories 1 follower

Travmatth starred codespaces-contrib/codeswing

Dec 26, 2020

codespaces-contrib/codeswing

VS Code extension for building web applications ("swings") using a interactive and editor-integrated coding environment

TypeScript 16 Updated Dec 26

dayfine starred andrewMacmurray/haskell-book-solutions

Dec 26, 2020

andrewMacmurray/haskell-book-solutions

Solutions to exercises in Haskell Programming from first principles

Haskell 29 Updated Dec 26

ValeriiaMur started following milklot

Dec 26, 2020

Eli M milklot

41 repositories

dgaitsgo starred sakitam-gis/kriging.js

Dec 26, 2020

sakitam-gis/kriging.js

Javascript library for geospatial prediction and mapping via ordinary kriging

TypeScript 11 Updated Dec 26

akharrou starred georgmartius/vid.stab

Dec 26, 2020

georgmartius/vid.stab

Video stabilization library

C 535 Updated Dec 26

akharrou starred videolan/vlc

Dec 26, 2020

videolan/vlc

VLC media player - All pull requests are ignored, please follow https://wiki.videolan.org/Sending_Patches_VLC/

C 6.9k Updated Dec 26

akharrou starred ckardaris/ucollage

Dec 26, 2020

ckardaris/ucollage

A command line image viewer based on Überzug

Shell 70 Updated Dec 26

akharrou starred mwh/dragon

Dec 26, 2020

mwh/dragon

Drag and drop source/target for X

C 338 Updated Dec 26

ChrisRenfrow starred mandreyel/cratetorrent

Dec 26, 2020

mandreyel/cratetorrent

A BitTorrent V1 engine library for Rust (and currently Linux)

Rust 184 Updated Dec 26

JamieDawson created a repository JamieDawson/image_filter_app

Dec 25, 2020

JamieDawson/image_filter_app

An app where you can apply filters to images.

Updated Dec 25

ug02fast forked ug02fast/CoFiX-Web-User-Interface from Computable-Finance/CoFiX-Web-User-Interface

Dec 25, 2020

Computable-Finance/CoFiX-Web-User-Interface

CoFiX Web User Interface

TypeScript 3 Updated Dec 23

ug02fast forked ug02fast/CoFiX from Computable-Finance/CoFiX

Dec 25, 2020

Computable-Finance/CoFiX

Core Smart Contracts of CoFiX: A Computable Financial Transaction Model. The Future of On-Chain Market Making is Here.

Solidity 24 Updated Dec 12

ChrisRenfrow starred SuperuserLabs/thankful

Dec 25, 2020

SuperuserLabs/thankful

Support free culture by automatically sending cryptocurrency to the creators of the content you love.

TypeScript 73 1 issue needs help Updated Dec 25

ChrisRenfrow starred spikecodes/libreddit

Dec 25, 2020

spikecodes/libreddit

Private front-end for Reddit written in Rust

Rust 28 Updated Dec 25

ChrisRenfrow starred tomnomnom/gron

Dec 25, 2020

tomnomnom/gron

Make JSON greppable!

Go 8.7k Updated Dec 25

ChrisRenfrow starred m4ll0k/Infoga

Dec 25, 2020

m4ll0k/Infoga

Infoga - Email OSINT

Python 822 Updated Dec 25

akharrou starred staz0t/hashcatch

Dec 25, 2020

staz0t/hashcatch

Capture handshakes of nearby WiFi networks automatically

Shell 567 Updated Dec 25

akharrou starred rclone/rclone

Dec 25, 2020

rclone/rclone

"rsync for cloud storage" - Google Drive, Amazon Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Cloudfiles, Google Cloud Storage, Yande…

Go 25.1k 186 issues need help Updated Dec 25

akharrou starred beaunus/stanford-algs

Dec 25, 2020

beaunus/stanford-algs

Example Test Cases for Stanford's Algorithms Coursera Specialization

Java 256 Updated Dec 25

akharrou starred benweet/stackedit

Dec 25, 2020

benweet/stackedit

In-browser Markdown editor

JavaScript 17.4k Updated Dec 25

akharrou starred tallpants/vscode-theme-iterm2

Dec 25, 2020

tallpants/vscode-theme-iterm2

🎨 Color scheme for iTerm2 matching Visual Studio Code's default Dark+ and Light+ themes.

58 Updated Dec 25

akharrou starred openfaas/faas

Dec 25, 2020

openfaas/faas

OpenFaaS - Serverless Functions Made Simple

Go 19k 11 issues need help Updated Dec 25

akharrou starred microsoft/playwright-cli

Dec 25, 2020

microsoft/playwright-cli

CLI for common Playwright actions. Record and generate Playwright code, inspect selectors and take screenshots.

TypeScript 959 Updated Dec 25

akharrou starred microsoft/playwright-python

Dec 25, 2020

microsoft/playwright-python

Python version of the Playwright testing and automation library.

Python 3.2k Updated Dec 25

akharrou starred viraptor/reverse-interview

Dec 25, 2020

viraptor/reverse-interview

Questions to ask the company during your interview

16k Updated Dec 25

akharrou starred ant-design/ant-design-pro

Dec 25, 2020

ant-design/ant-design-pro

👨🏻‍💻👩🏻‍💻 Use Ant Design like a Pro!

TypeScript 27.6k Updated Dec 25

akharrou starred evilsocket/pwnagotchi

Dec 25, 2020

evilsocket/pwnagotchi

(⌐■_■) - Deep Reinforcement Learning instrumenting bettercap for WiFi pwning.

JavaScript 4.1k 4 issues need help Updated Dec 25

akharrou starred yuanming-hu/difftaichi

Dec 25, 2020

yuanming-hu/difftaichi

10 differentiable physical simulators built with Taichi differentiable programming (DiffTaichi, ICLR 2020)

1.8k Updated Dec 25

akharrou starred google/styleguide

Dec 25, 2020

google/styleguide

Style guides for Google-originated open-source projects

HTML 26.4k Updated Dec 25

akharrou starred microsoft/cascadia-code

Dec 25, 2020

microsoft/cascadia-code

This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

Python 14.7k Updated Dec 25

akharrou starred cdr/code-server

Dec 25, 2020

cdr/code-server

VS Code in the browser

TypeScript 38.6k Updated Dec 25

akharrou starred adobe-fonts/source-han-sans

Dec 25, 2020

adobe-fonts/source-han-sans

HolyC 8.7k Updated Dec 25

akharrou starred awesome-selfhosted/awesome-selfhosted

Dec 25, 2020

awesome-selfhosted/awesome-selfhosted

A list of Free Software network services and web applications which can be hosted locally. Selfhosting is the process of hosting and managing appli…

JavaScript 51.5k 9 issues need help Updated Dec 25

akharrou starred gohugoio/hugo

Dec 25, 2020

gohugoio/hugo

The world’s fastest framework for building websites.

Go 49k Updated Dec 25

akharrou starred fffaraz/awesome-cpp

Dec 25, 2020

fffaraz/awesome-cpp

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

28.9k 139 issues need help Updated Dec 25

akharrou starred jitsi/jitsi-meet

Dec 25, 2020

jitsi/jitsi-meet

Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.

JavaScript 14.8k Updated Dec 25

akharrou starred neovim/neovim

Dec 25, 2020

neovim/neovim

Vim-fork focused on extensibility and usability

Vim script 40.5k 69 issues need help Updated Dec 25

akharrou starred facebook/folly

Dec 25, 2020

facebook/folly

An open-source C++ library developed and used at Facebook.

C++ 16.1k Updated Dec 25

akharrou starred google/googletest

Dec 25, 2020

google/googletest

Googletest - Google Testing and Mocking Framework

C++ 19.7k 6 issues need help Updated Dec 25

akharrou starred clangd/coc-clangd

Dec 25, 2020

clangd/coc-clangd

clangd extension for coc.nvim

TypeScript 227 Updated Dec 25