LLMs as Copilots for Theorem Proving in Lean

Tool for data extraction and interacting with Lean programmatically.

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Knowledge is a tool for saving, searching, accessing, exploring and chatting with all of your favorite websites, documents and files.

Convert any music library into a music production sample-library with ML

Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.

langcc: A Next-Generation Compiler Compiler

Lean 4 programming language and theorem prover

Mozart Programming System v2

ALIEN is a CUDA-powered artificial life simulation program.

JetScan : GPU accelerated portable RGB-D reconstruction system

Visualizer for neural network, deep learning and machine learning models

Adding support for the Rust language to the Linux kernel.

A skilled virtual assistant for Obsidian.

A Flow-based Generative Network for Speech Synthesis

NVIDIA® TensorRT™ is an SDK for high-performance deep learning inference on NVIDIA GPUs. This repository contains the open source components of TensorRT.

Reference implementations of MLPerf™ inference benchmarks

Universal Scene Description

High-level framework for stencil computations

Documentation of NVIDIA chip/hardware interfaces

Example of loading a Keras model into TensorRT C++ API

Deep Learning for humans

ROS metapackage containing the core software needed for running a Blue robot arm

Open Neural Network Compiler

An educational AI robot based on NVIDIA Jetson Nano.

Hello AI World guide to deploying deep-learning inference networks and deep vision primitives with TensorRT and NVIDIA Jetson.

Code for the paper "Language Models are Unsupervised Multitask Learners"

CBOR protocol implementation for C

A python client library for the IPFS API

Unison file synchronizer