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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fuzzy(er) finder in Rust πβ15May 28, 2022Updated 4 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 8 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.β16Apr 18, 2026Updated last month
- Polynomial semantics of linear logicβ13Apr 15, 2018Updated 8 years ago
- Haskell port of the Tensor Algebra COmpilerβ16Nov 18, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- blast mathβ12Oct 11, 2025Updated 7 months ago
- A repository for personal experimental purposeβ11Apr 11, 2018Updated 8 years ago
- Haskell implementation of open gamesβ13Apr 20, 2016Updated 10 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 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 7 months ago
- Backend Agnostic Renderer in Rustβ37May 6, 2020Updated 6 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
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- slides of the 2019 libre graphics meetingβ14Jun 5, 2019Updated 7 years ago
- β19Oct 21, 2018Updated 7 years ago
- A platform for formalizing OEIS sequences in Lean 4β20Updated this week
- A library that provides Gitter APIβ14Jul 23, 2018Updated 7 years ago
- NanoVG Haskell bindingsβ22May 17, 2023Updated 3 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β812Nov 14, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Interpreter for Ξ»Μ ΞΌΞΌΜ-calculus of Herbelin and Curien (for educational purposes).β20Oct 8, 2020Updated 5 years ago
- Vulkan samplesβ19Oct 10, 2017Updated 8 years ago
- An engine for Vulkan in Rust, tries to implement modern graphic features. (suspended for now)β60Aug 2, 2025Updated 10 months ago
- β13Feb 9, 2023Updated 3 years ago
- Latex package to print spectral sequence diagrams using pgf/tikz.β12Jan 18, 2026Updated 4 months ago
- A personal library, formalizing cohesive homotopy type theory in Agda.β13Apr 30, 2019Updated 7 years ago
- Intrinsic Verification of Formal Grammar Theoryβ28May 20, 2026Updated 3 weeks ago