kmill/lean4-raytracer

Stars
99
Rank 343,315 (Top 7 %)
Language Lean
License
Apache License 2.0
Created almost 4 years ago
Updated over 2 years ago

kmill/lean4-raytracer

kmill

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A simple raytracer written in Lean 4

knotfolio

A program for drawing knots and links, with support for importing images

textadv

An interactive fiction engine written in Python

LeanTeX

Lean 4 library for pretty printing expressions as LaTeX

zmach

A z-machine interpreter which does dynamic recompilation to javascript

arrow_poly

Computation of (cabled) arrow polynomials of virtual knots

dcc

The Decaf Compiler Compiler

htmacros

Hypertext macros for managing websites using LaTeX-like syntax

squidmusic

A distributed music system with remote speaker control

squidlights

A general interface for light control

textadv-js

A pure-JavaScript interactive fiction engine that runs in the web browser

lean-graphcoloring

Using Lean to formalize proofs related to graph coloring

squidlights2

new udp-based squidlights

rts

clangor

A language for sound synthesis

nyc_address_extractor

website

This is the source for my website

metaview

bignum.js

A library for doing arithmetic with big integers, rationals, and computable reals.

planalg

Planar algebra computations in Mathematica

esplights

An "operating system" for the ESP8266 to control lights.

msri2023_graphs

Repository for graph theory & combinatorics group at the MSRI Lean summer school