rameshvarun / DygraView external linksLinks
A real-time non-euclidean ray-tracer.
☆93Apr 22, 2023Updated 2 years ago
Alternatives and similar repositories for Dygra
Users that are interested in Dygra are comparing it to the libraries listed below
Sorting:
- Updated LazyK source distribution☆19Nov 20, 2025Updated 2 months ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- Boost.Proto, rewritten and redesigned for C++11☆28Oct 7, 2013Updated 12 years ago
- Localization library for Haxe.☆13Jan 9, 2026Updated last month
- OpenVDB Samples☆11Aug 18, 2015Updated 10 years ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Dec 7, 2023Updated 2 years ago
- ☆13Apr 19, 2020Updated 5 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- ➰ A program for manipulating and playing with knot diagrams.☆20May 21, 2020Updated 5 years ago
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- Solve 24 puzzles using zero-aware pattern databases☆15Nov 19, 2024Updated last year
- A QuadTree using AABB and Vector3s.☆18Jul 24, 2021Updated 4 years ago
- Demonstration of GTK4 TreeListView with drag-and-drop☆16Sep 21, 2024Updated last year
- Bad Apple video for the Super Famicom☆16Feb 2, 2021Updated 5 years ago
- Procedural 3D mesh generation tool☆20Mar 25, 2018Updated 7 years ago
- Vst 2.4 plugin editor using Dear ImGui and glfw☆22Feb 14, 2022Updated 4 years ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 8 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Dec 9, 2019Updated 6 years ago
- Microsoft's Debug Interface Access SDK☆27Nov 9, 2024Updated last year
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated last year
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- A hexagonal prism BVH: more efficient than AABB.☆18Jul 3, 2019Updated 6 years ago
- A simple scheme interpreter in Python☆26Feb 2, 2014Updated 12 years ago
- Shader Playground on LuisaCompute☆14Oct 18, 2022Updated 3 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- A Godot plugin for interacting with the ZeroNet network☆23Apr 2, 2019Updated 6 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Apr 7, 2025Updated 10 months ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Mar 23, 2013Updated 12 years ago
- A C++ library for interning strings☆25Nov 29, 2016Updated 9 years ago
- A creative coding framework, mainly for the demoscene☆22Nov 27, 2025Updated 2 months ago
- Made in one hour live. Play here: https://nartier.itch.io/rundie☆23Nov 2, 2019Updated 6 years ago
- Image fitting with Gabor functions☆29Apr 16, 2018Updated 7 years ago
- Easy-to-use development scripts for directory-based (G)ZDoom projects☆31Oct 31, 2015Updated 10 years ago
- Library for managing windows for cross platform UI applications☆28Dec 26, 2025Updated last month
- ☆29Nov 4, 2019Updated 6 years ago
- WAD level loader-script(from DOOM-alike games) for Godot☆34Feb 11, 2018Updated 8 years ago
- Ocean Simulation Based on a Model By Keith Lantz (https://www.keithlantz.net/)☆28Aug 23, 2025Updated 5 months ago
- Ergonomic trie data structure☆27Oct 30, 2018Updated 7 years ago