WIP statically-typed scripting language

Refinement Types for Rust

ScummVM main repository

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure

A tool-agnostic formal specification language for OCaml.

1ML prototype interpreter

Bash is all you need - A nano claude code–like 「agent harness」, built from 0 to 1

Agda library for verifying neural networks.

Agda category theory library for denotational design

Where teams and AI build shared understanding

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

Commonly used Pliron Dialects

Pliron Dialect for Tensors

A comprehensive and searchable database of categories and their properties

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

An Extensible Compiler IR Framework

The Lean Computer Science Library (CSLib)

An embeddable Lua 2.5 interpreter implemented in OCaml

Shannon Lite is an autonomous, white-box AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities bef…

Development repository for the Triton language and compiler

A static verifier for Rust, based on the Viper verification infrastructure.

Mnemosyne: efficient learning with powerful digital flash-cards.

Multi-platform high-performance compute language extension for Rust.

The agda-unimath library

Ethereum prototype

Full stack web architecture for Rust