Tensors and Dynamic neural networks in Python with strong GPU acceleration

The math library of Lean 4

Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Source for esphome.io documentation files.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

TensorRT LLM provides users with an easy-to-use Python API to define Large Language Models (LLMs) and supports state-of-the-art optimizations to perform inference efficiently on NVIDIA GPUs. Tensor…

Open Machine Learning Compiler Framework

Linux kernel source tree

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

Lean 4 programming language and theorem prover

Catalog Of Math Problems Formalized In Lean

ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

F´ - A flight software and embedded systems framework

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at https://gitlab.com/buildroot.org/buildroot/. Do not open i…

React, Supabase, Stripe

F Prime Prime: A modeling language for F Prime

The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS 1.3!

Unsupervised text tokenizer for Neural Network-based text generation.

Arduino command line tool

A lightweight LLVM python binding for writing JIT compilers

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

A simple and easy-to-use library to enjoy videogames programming

Formalization of the existence of sphere eversions

A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM, 8-bit AVR and 32-bit RISC-V architectures.

Go ahead and axolotl questions

awdeorio's favorite dot files

A community database for the problems on the erdosproblems.com site

🚀 A simple way to launch, train, and use PyTorch models on almost any device and distributed configuration, automatic mixed precision (including fp8), and easy-to-configure FSDP and DeepSpeed support