A real-time non-euclidean ray-tracer.
☆93Apr 22, 2023Updated 3 years ago
Alternatives and similar repositories for Dygra
Users that are interested in Dygra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An editor for non-euclidean worlds.☆19Apr 21, 2023Updated 3 years ago
- Mu is a modern, modular, system programming language and scripting toolchain☆12Jan 13, 2016Updated 10 years ago
- Updated LazyK source distribution☆19Nov 20, 2025Updated 10 months ago
- A short research about Physically Based Rendering on the web.☆14Aug 10, 2018Updated 8 years ago
- OpenVDB Samples☆11Aug 18, 2015Updated 11 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.
- 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
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 8 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated this week
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- ☆10May 9, 2015Updated 11 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆35Apr 22, 2026Updated 5 months ago
- Solve 24 puzzles using zero-aware pattern databases☆15Nov 19, 2024Updated last year
- Deferred Renderer with many point lights☆12May 28, 2020Updated 6 years ago
- Actor-model based concurrency in a reactive programming language.☆17Aug 5, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A SKI combinators interpreter written in assembly☆21Jul 25, 2020Updated 6 years ago
- GPU-Accelerated Software Rasterizer☆11Jun 8, 2017Updated 9 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Apr 13, 2025Updated last year
- Bad Apple video for the Super Famicom☆17Feb 2, 2021Updated 5 years ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- WorldEditor Plugin is a port of the WorldEdit, done for PocketMine-MP☆18Feb 17, 2014Updated 12 years ago
- Restore the far lands! Works up to 1.12.2☆22Sep 4, 2025Updated last year
- simple binary tree visualizer☆12Jan 19, 2024Updated 2 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Jul 16, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A mini language for logic programming☆23Jun 5, 2020Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 12 years ago
- A remake of the trench sequence of star wars (level III), a vintage arcade game.☆11Jun 18, 2014Updated 12 years ago
- educational compiler for not (quite) toy languages☆21Apr 11, 2019Updated 7 years ago
- Tile-based SW rasterizer☆37Dec 21, 2019Updated 6 years ago
- ☆10Nov 25, 2021Updated 4 years ago
- voxel editing tool with OpenVDB☆13Dec 31, 2018Updated 7 years ago
- Procedural 3D mesh generation tool☆20Mar 25, 2018Updated 8 years ago
- A GUI Wrapper around Srg2Source.☆23Sep 24, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Leo code snippets☆13Apr 27, 2020Updated 6 years ago
- Minecraft clone in haskell focussed on performance.☆28Jun 16, 2024Updated 2 years ago
- A Variational LSTM to generate rap music (with and without text input)☆11Jan 2, 2017Updated 9 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Jun 11, 2026Updated 3 months ago
- WYSIWYG audio tool made for the Wheel Reinvention Jam☆11Oct 10, 2023Updated 2 years ago
- Common Lisp interface to D-Wave's Python Pack for adiabatic quantum computer energy programming☆11Jul 30, 2015Updated 11 years ago
- This is an easy to use auto configurator for VirtualAudioCable as a default audio loopback device☆12Aug 31, 2021Updated 5 years ago