Yet another Vulkan based rendering engine.
β11Jan 8, 2019Updated 7 years ago
Alternatives and similar repositories for rendy
Users that are interested in rendy are comparing it to the libraries listed below
Sorting:
- A fuzzy(er) finder in Rust πβ15May 28, 2022Updated 3 years ago
- Formerly "Ori-Engine" is an hobby project of mine. Target is an Rust/Vulkan engine for games and visualization software.β20Jun 5, 2018Updated 7 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.β16May 13, 2025Updated 10 months ago
- Polynomial semantics of linear logicβ13Apr 15, 2018Updated 7 years ago
- Haskell port of the Tensor Algebra COmpilerβ16Nov 18, 2019Updated 6 years ago
- blast mathβ12Oct 11, 2025Updated 5 months ago
- A repository for personal experimental purposeβ11Apr 11, 2018Updated 7 years ago
- Haskell implementation of open gamesβ13Apr 20, 2016Updated 9 years ago
- eXtensible Framegraphβ37Jan 23, 2019Updated 7 years ago
- A library for enabling databinding to and from Observables in xamlβ10Jan 6, 2018Updated 8 years ago
- Rust Bindings to Android log Libraryβ18Mar 4, 2025Updated last year
- Haskell graph libraryβ10Dec 18, 2017Updated 8 years ago
- Simple threadpool based on C11β10Jul 29, 2020Updated 5 years ago
- Higher Algebra with Opetopic Typesβ16Mar 30, 2023Updated 2 years ago
- Revamped version of Polititweet.orgβ12Jul 12, 2023Updated 2 years ago
- Ticketed lock synchronization primitiveβ11Jan 25, 2021Updated 5 years ago
- The collected works of R. F. C. Waltersβ13Nov 12, 2024Updated last year
- Linear Types, Symmetric Monoidal Categories, and Tensorsβ13Oct 14, 2025Updated 5 months ago
- Backend Agnostic Renderer in Rustβ38May 6, 2020Updated 5 years ago
- This is a prototype of a networking crate for bevy. This create provides a low-level networking plugin built on top of laminarβ30Dec 28, 2020Updated 5 years ago
- Entry for github game jam 2018. A lemmings runner game hybrid.β36Nov 30, 2018Updated 7 years ago
- An alternative interface to Opaleye, built around type familiesβ13Nov 23, 2016Updated 9 years ago
- β15Oct 31, 2023Updated 2 years ago
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- slides of the 2019 libre graphics meetingβ14Jun 5, 2019Updated 6 years ago
- β19Oct 21, 2018Updated 7 years ago
- A platform for formalizing OEIS sequences in Lean 4β18Updated this week
- A library that provides Gitter APIβ14Jul 23, 2018Updated 7 years ago
- NanoVG Haskell bindingsβ22May 17, 2023Updated 2 years ago
- Render text with the DejaVu font using the Vulkano library.β41Jul 27, 2021Updated 4 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.β20Feb 26, 2021Updated 5 years ago
- State of the art "build your own engine" kit powered by gfx-halβ813Nov 14, 2022Updated 3 years ago
- Interpreter for Ξ»Μ ΞΌΞΌΜ-calculus of Herbelin and Curien (for educational purposes).β20Oct 8, 2020Updated 5 years ago
- An engine for Vulkan in Rust, tries to implement modern graphic features. (suspended for now)β61Aug 2, 2025Updated 7 months ago
- Vulkan samplesβ19Oct 10, 2017Updated 8 years ago
- β13Feb 9, 2023Updated 3 years ago
- Latex package to print spectral sequence diagrams using pgf/tikz.β11Jan 18, 2026Updated 2 months ago
- A personal library, formalizing cohesive homotopy type theory in Agda.β13Apr 30, 2019Updated 6 years ago
- Intrinsic Verification of Formal Grammar Theoryβ27Nov 22, 2025Updated 3 months ago