An experimental WebAssembly backend for PureScript compiler

Systematic investigation of 11 exotic math frameworks (Lie groups, tropical algebra, p-adic numbers, etc.) applied to deep learning, with dual JAX and PyTorch implementations

A lattice-based non-interactive folding scheme written in Rust

Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols

Language implementation for PureScript

Grid-Free Monte Carlo Solvers for Physics Simulations Involving Partial Differential Equations

How to say it using Mathlib.

Generate images locally

Getting polyhedral geometry to lean.

Milo is an open-source project for DIYers to create a reliable, low cost and powerful desktop CNC mill on their own terms.

CUDA-equivalent tensor-core acceleration for Apple Silicon. C-ABI kernel library wrapping simdgroup_matrix (M1+) and mpp::tensor_ops (M5+): GEMM, FlashAttention, Conv2D, Q4_0/Q8_0 quantized inferen…

Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.

A Package for Automatic Differentiation of Algorithms Written in C/C++

Implementation of Alpen's Mosaic protocol for garbled circuits

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

finding new ramsey bounds through scaling autoresearch

Convenient multi-threading on Node with PureScript.

Claude Code skills for PureScript development: ecosystem guide, language idioms, and code quality auditor

A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.

NanoGPT (124M) in 90 seconds

Implementing scalable LLMs in pure JAX (no third-party libraries)

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Normalized Transformer (nGPT)

An open-source research programme on structural incompleteness in domains organized around a minimal generative operation. CC-BY-4.0. Validation, corrections, and Lean formalization welcome.

LoRa chip into a coherent linear-FM chirp generator

Open-source Hyperliquid trading client with portfolio analytics and vault analytics