browserdotsys / vecchio
Rust implementation of Ray Tracing in One Weekend
☆12Updated 4 years ago
Alternatives and similar repositories for vecchio:
Users that are interested in vecchio are comparing it to the libraries listed below
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Patience diff and longest increasing subsequence☆12Updated last year
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Label dependent dependent session types☆15Updated 10 months ago
- Dependent hash maps☆14Updated 9 months ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆20Updated 2 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 6 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- cargo +nightly build☆34Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated last month
- ☆23Updated 7 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆14Updated 7 years ago
- Derive editors for data types.☆28Updated 10 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- A Result-like type that can collect multiple Errs☆12Updated 4 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Effectful Streaming for Idris☆14Updated 4 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated last month
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- A TOML parser for Idris 2☆15Updated 8 months ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago