markkm

markkm's Stars

• theanalyst/awesome-distributed-systems

  A curated list to learn about distributed systems

  10.8k1.5k

• greko6/xfb2xfb

  by ex-Facebookers, for ex-Facebookers - a lookup table of similar tech & services

  46438

• tlringer/ml-for-proofs

  An open bibliography of machine learning for formal proof papers

  Language:TeX323

• UWSysLab/tapir

  TAPIR distributed transactional storage system

  Language:Java42354

• EgbertRijke/HoTT-Intro

  An introductory course to Homotopy Type Theory

  Language:Agda36428

• pytest-dev/pytest-randomly

  :game_die: Pytest plugin to randomly order tests and control random.seed

  Language:Python63731

• qubole/kinesis-sql

  Kinesis Connector for Structured Streaming

  Language:Scala13680

• microsoft/pyright

  Static Type Checker for Python

  Language:Python13.7k1.5k

• diffplug/spotless

  Keep your code spotless

  Language:Java4.6k458

• arxiv-vanity/engrafo

  Convert LaTeX documents into beautiful responsive web pages using LaTeXML.

  Language:HTML1.1k91

• ForrestKnight/open-source-cs

  Video discussing this curriculum:

  19.8k3k

• pytest-dev/pytest

  The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

  Language:Python12.3k2.7k

• python/typeshed

  Collection of library stubs for Python, with static types

  Language:Python4.4k1.8k

• python/mypy

  Optional static typing for Python

  Language:Python18.8k2.9k

• flameshot-org/flameshot

  Powerful yet simple to use screenshot software :desktop_computer: :camera_flash:

  Language:C++25.3k1.6k

• eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee/eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  Language:Python10.2k699

• jax-ml/jax

  Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

  Language:Python30.9k2.8k

• heathermiller/dist-prog-book

  Language:CSS3.4k269

• facebook/zstd

  Zstandard - Fast real-time compression algorithm

  Language:C24.1k2.2k

• SystemsApproach/book

  Computer Networks: A Systems Approach -- Textbook

  Language:Python3.2k242

• quantumlib/Cirq

  A Python framework for creating, editing, and invoking Noisy Intermediate-Scale Quantum (NISQ) circuits.

  Language:Python4.4k1k

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell89.8k5.8k

• shap/shap

  A game theoretic approach to explain the output of any machine learning model.

  Language:Jupyter Notebook23.2k3.3k

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown324k30k

• azac/cobol-on-wheelchair

  Micro web-framework for COBOL

  Language:COBOL96247

• devunt/make-gis-great-again

  This web extension adds back "View Image" button to Google Image Search results.

  Language:JavaScript76754

• arogozhnikov/python3_with_pleasure

  A short guide on features of Python 3 with examples

  3.6k198

• UniMath/UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  Language:Coq969173

• yuriescl/runoverssh

  POSIX-compliant shell script for easily running shell commands and scripts over SSH.

  Language:Shell385

• norvig/pytudes

  Python programs, usually short, of considerable difficulty, to perfect particular skills.

  Language:Jupyter Notebook23.2k2.4k