This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

A GPU port of DOOM

CUDA Templates for Linear Algebra Subroutines

RAI: Rust ML framework with composable transformations like JAX.

Proxy: Next Generation Polymorphism in C++

A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines

Typst blog template based on Zola, typst.ts, and apollo.

Reuse Analysis in MLIR and Rust. Functional programming meets performance.

Inline syscalls made easy for windows on clang

Static keys for Rust userland applications

rustic - fast, encrypted, and deduplicated backups powered by Rust

The cold linker

A new kind of parser for procedural macros.

Bindings to the `cuda` and `nvrtc` libraries with a unified interface

NVIDIA Math Libraries for the Python Ecosystem

antifunext

SadServers: Linux & DevOps Troubleshooting Scenarios SaaS

Self-hosted AI coding assistant

A minimal GPU design in Verilog to learn how GPUs work from the ground up

Linear algebra foundation for the Rust programming language

An implementation of a simple Neural network in Idris using category theory.

Touying is a powerful package for creating presentation slides in Typst.

Beautiful and reliable typst code formatter

Tvix - A Rust implementation of Nix. Read-only mirror of https://cs.tvl.fyi/depot/-/tree/tvix

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].