Stars
PHPDoc grammar for tree-sitter
RIPS - A static source code analyser for vulnerabilities in PHP scripts
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
The swiss army knife for Magento developers, sysadmins and devops. The tool provides a huge set of well tested command line commands which save hours of work time. All commands are extendable by a …
A massively parallel, high-level programming language
Flash Attention in ~100 lines of CUDA (forward pass only)
Julia set (LCD demo) on STM32F7508-DK evaluation board
[Mirror] A close reading of the μKanren paper.
Fuzzy Metaballs+ Renderer. With Optical Flow, Mesh Exporting and more.
Original reference implementation of "3D Gaussian Splatting for Real-Time Radiance Field Rendering"
Official implementation of IADB (Iterative α-(de)Blending: a Minimalist Deterministic Diffusion Model), published at Siggraph 2023.
Run GPT model on the browser with WebGPU. An implementation of GPT inference in less than ~1500 lines of vanilla Javascript.
A GLSL ES 1.0 and 3.0 parser that can preserve whitespace and comments
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
A compact, efficient Prolog interpreter written in plain-old C.
Reverse-mode automatic differentiation of Racket programs
A minimal atmospheric scattering implementation for Unity
This repository provides motion datasets collected by Bandai Namco Research Inc
A repository with a variety of meshes with minimal licensing requirements.