markkm's Stars
jscoq/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
thedaviddias/Front-End-Checklist
đź—‚ The perfect Front-End Checklist for modern websites and meticulous developers
keraf/NoCoin
No Coin is a tiny browser extension aiming to block coin miners such as Coinhive.
rr-debugger/rr
Record and Replay Framework
kristate/krackinfo
Vendor Response Matrix for KRACK WPA2 (Key Reinstallation Attack)
HPAC/matchpy
A library for pattern matching on symbolic expressions in Python.
olivierthereaux/oldtweets
python script to backup/delete old tweets from your timeline
OpenSourceEcon/BootCamp2017
Repository for OSM Lab Boot Camp 2017
pyenv/pyenv
Simple Python version management
libigl/libigl
Simple MPL-2.0-licensed C++ geometry processing library.
mtdvio/every-programmer-should-know
A collection of (mostly) technical things every software developer should know about
vahidk/EffectiveTensorflow
TensorFlow tutorials and best practices.
aksakalli/gtop
System monitoring dashboard for terminal
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
neozhaoliang/pywonderland
A tour in the wonderland of math with python.
open-source-flash/open-source-flash
Petition to open source Flash and Shockwave spec
scalameta/scalafmt
Code formatter for Scala
networkx/networkx
Network Analysis in Python
tensorflow/serving
A flexible, high-performance serving system for machine learning models
stan-dev/pystan2
PyStan, the Python interface to Stan
apache/incubator-heron
Apache Heron (Incubating) is a realtime, distributed, fault-tolerant stream processing engine from Twitter
evolus/pencil
The Pencil Project's unique mission is to build a free and opensource tool for making diagrams and GUI prototyping that everyone can use.
hakimel/reveal.js
The HTML Presentation Framework
IntelPython/sdc
Numba extension for compiling Pandas data frames, Intel® Scalable Dataframe Compiler
EbTech/rust-algorithms
Common data structures and algorithms in Rust
kailashahirwar/cheatsheets-ai
Essential Cheat Sheets for deep learning and machine learning researchers https://medium.com/@kailashahirwar/essential-cheat-sheets-for-machine-learning-and-deep-learning-researchers-efb6a8ebd2e5
ocaml-community/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
reasonml/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
amygdala/tensorflow-workshop
This repo contains materials for use in a TensorFlow workshop.
cupy/cupy
NumPy & SciPy for GPU