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

The fundamental package for scientific computing with Python.

mold: A Modern Linker 🦠

Vim mode for VSCode, powered by Neovim

Lean 4 programming language and theorem prover

A SwiftUI Mastodon client

High-level emulator for iPhone OS apps. This repo is used for issues, releases and CI. Submit patches at: https://review.gerrithub.io/admin/repos/touchHLE/touchHLE

The math library of Lean 4

Fast Library for Approximate Nearest Neighbors

ultrafast single TCP packet audio/visual experience

Extension for making GitHub great again

Minimal, type safe printf replacement library for C++

A small cross-platform library for retrieving random data from (operating) system source

A simple raytracer written in Lean 4

Formalizing stochastic doubly-efficient debate

Library implementing type inference/checking functionality based on the Lean theorem prover

A formalized proof of Carleson's theorem in Lean

Write C shims from within Lean code.

Two-based indexing

A massively parallel pentago solver

Investigations into simplified holdem poker

A functional language built around overloading

A perfect kalah player for up to 5 stones per bin

Verified computation of the Mandelbrot set Böttcher series

Combinatorial game theory exploration code

An automated Bananagram player

A prototype build system

Fork of http://git.gnome.org/cgit/meld

Fast Library for Approximate Nearest Neighbors

Source code for the version of pbrt described in the second edition of "Physically Based Rendering"