Starred repositories
Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build prova…
An experimental proof assistant based on a type theory for synthetic ∞-categories.
A work-in-progress core language for Agda, in Agda
An application that visualises LLM tokenizers
A massively parallel, optimal functional runtime in Rust
Driver and tools for controlling Lenovo Legion laptops in Linux including fan control and power mode.
Lightweight Lenovo Vantage and Hotkeys replacement for Lenovo Legion laptops.
PhD course on Functional Programming and Climate Impact Research
A Logical Relation for Martin-Löf Type Theory in Agda
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Nix language server, based on nix libraries [maintainer=@inclyc,@takeokunn,@Aleksanaa]
Type emoji easily! Virtual keyboard-like emoji palette for Linux with [fewer] of features.
Run compilers interactively from your web browser and interact with the assembly
My mathematical Zettelkasten, created using forester. Moved to sourcehut.
A markup-based typesetting system that is powerful and easy to learn.
Agda is a dependently typed programming language / interactive theorem prover.
the-argus / spicetify-nix
Forked from pietdevries94/spicetify-nixA nix flake for configuring spicetify. Includes packaging for many popular themes and extensions.
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
⌨ Importable dictionary for typing math symbols more easily on your Android phone by using keyboard shortcuts inspired by LaTeX
Probabilistic language based on pattern matching and constraint propagation, 153 examples
NVIDIA Linux open GPU kernel module source