Lean Raytracing

Open-source Lean projects categorized as Raytracing
lean4

Lean Raytracing Projects

  • lean4-raytracer

    A simple raytracer written in Lean 4

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Lean Raytracing discussion

Log in or Post with

Lean Raytracing related posts

  • Functional Programming in Lean – a book on using Lean 4 to write programs

    2 projects | news.ycombinator.com | 29 May 2023

Index

Project Stars
1 lean4-raytracer 116

Sponsored
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com

Did you konow that Lean is
the 76th most popular programming language
based on number of metions?