Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Modern GPU Compute and Rendering in Javascript

Lean 4 programming language and theorem prover

A lightweight LLVM python binding for writing JIT compilers

High-performance automatic differentiation of LLVM and MLIR.

The Runner for GitHub Actions 🚀

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

FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: 🇺🇸 🇨🇳 🇰🇷 🇪🇸 🇻🇳 🇧🇷 🇷🇺

The leading native Python SSHv2 protocol library.

Artificial chemistry

Productive, portable, and performant GPU programming in Python.

Program Synthesis Course

➖ high level way to create menubar desktop applications with electron

The cling C++ interpreter

Lean Theorem Prover

Lean 3's obsolete mathematical components library: please use mathlib4

Where the GPU for the Web work happens!

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

A browser based code editor

Library for building WebSocket servers and clients in Python

Tensors and Dynamic neural networks in Python with strong GPU acceleration

An OCaml kernel for Jupyter (IPython) notebook

A demo implementation of a simple dependently-typed language

GPU Accelerated JavaScript

WebAssembly Design Documents

WebAssembly specification, reference interpreter, and test suite.

JavaScript 3D Library.