High-efficiency floating-point neural network inference operators for mobile, server, and Web

Application Binary Interface for the Arm® Architecture

ncnn is a high-performance neural network inference framework optimized for the mobile platform

Backward compatible ML compute opset inspired by HLO/MHLO

A technical report on convolution arithmetic in the context of deep learning

Cross-platform, customizable ML solutions for live and streaming media.

An efficient, reliable parser for CommonMark, a standard dialect of Markdown

A language for building concurrent software with confidence

Implementations of SIMD instruction sets for systems which don't natively support them.

Base64 coding and decoding with SIMD instructions (SSE/AVX2/AVX512F/AVX512BW/AVX512VBMI/ARM Neon)

WebAssembly meetings (VC or in-person), agendas, and notes

The Eta Programming Language, a dialect of Haskell on the JVM

Factor programming language

A list of awesome resources for tmux

Skylark in Go: the Skylark configuration language, implemented in Go [MOVED to go.starlark.net]

Link to preprints for POPL'18 and colocated events

A Unicode library for OCaml

Catch common Java mistakes as compile-time errors

Koka language compiler and interpreter

Dafny is a verification-aware programming language

A curated list of Bazel rules, tooling and resources.

The ultimate vim distribution

DOM fuzzer

ShellCheck, a static analysis tool for shell scripts

An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

A demo implementation of a simple dependently-typed language

The official source code repository for the calibre ebook manager

A collection of postmortems. Sorry for the delay in merging PRs!

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

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