[ECCV2024] FlashSplat: 2D to 3D Gaussian Splatting Segmentation Solved Optimally

OpenSource GPU, in Verilog, loosely based on RISC-V ISA

Open-source high-performance RISC-V processor

[CVPR 2024] Official PyTorch implementation of SuGaR: Surface-Aligned Gaussian Splatting for Efficient 3D Mesh Reconstruction and High-Quality Mesh Rendering

InstantSplat: Sparse-view SfM-free Gaussian Splatting in Seconds

A high-performance, zero-overhead, extensible Python compiler using LLVM

Efficient Triton Kernels for LLM Training

<neovim-editor> WebComponent to embed Neovim to your app with great ease

Parse files for optimal RAG

The Lean 4 web editor

Lean documentation authoring tool

A guidance language for controlling large language models.

Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.

Example fasthtml applications demonstrating a range of web programming techniques

Implementation of SYCL and C++ standard parallelism for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous programming models. Lets applications …

Probabilistic programming with HuggingFace language models

A package for defining deep learning models using categorical algebraic expressions.

SGLang is a fast serving framework for large language models and vision language models.

Mathlib search tool

Some handy AI scripts

Code for the paper "Learning Temporal Distances: Contrastive Successor Features Can Provide a Metric Structure for Decision-Making"

Test using OpenGL, GLFW, GLEW, GLM and PCL

Catalog Of Math Problems Formalized In Lean

Repository for Meta Chameleon, a mixed-modal early-fusion foundation model from FAIR.

A bleeding edge build system for Mojo 🔥