Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by TOTBWF
A curated list of projects in awesome lists by TOTBWF .
https://github.com/TOTBWF/lean4-raytrace
A simple raytracer written in lean
Last synced: 09 Aug 2024