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. 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 2 years ago
- Non-euclidean GPU Raytraced Game☆657Nov 9, 2022Updated 3 years ago
- Mu is a modern, modular, system programming language and scripting toolchain☆12Jan 13, 2016Updated 10 years ago
- Localization library for Haxe.☆13Jan 9, 2026Updated 3 months ago
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Twitch/Discord Chat Bot that works for KGB monkaS☆17Nov 18, 2020Updated 5 years ago
- OpenVDB Samples☆11Aug 18, 2015Updated 10 years ago
- A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.☆31Jul 30, 2019Updated 6 years 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
- ☆15Dec 26, 2022Updated 3 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Mar 20, 2026Updated 3 weeks ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- a programmable desktop file viewer built on Electron☆19May 5, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Solve 24 puzzles using zero-aware pattern databases☆15Nov 19, 2024Updated last year
- Rust wrapper for the Origin Private File System☆26Mar 27, 2026Updated 2 weeks ago
- Shader Playground on LuisaCompute☆15Oct 18, 2022Updated 3 years ago
- 16-bit Amiga classic title remake with HTML5 and PixiJS.☆10Oct 13, 2025Updated 6 months ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Apr 13, 2025Updated last year
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- simple binary tree visualizer☆12Jan 19, 2024Updated 2 years ago
- Bad Apple video for the Super Famicom☆16Feb 2, 2021Updated 5 years ago
- My first attempt at writing a from-scratch OpenGL game engine in C++☆10Mar 16, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Renders interactive fractal-like animations☆19May 16, 2017Updated 8 years ago
- A HFT Market Simulation utilizing high-speed, efficient C++ and concurrent/parallel programming☆18Nov 3, 2023Updated 2 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Dec 9, 2019Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 5 months ago
- DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server,…☆46Nov 4, 2015Updated 10 years ago
- educational compiler for not (quite) toy languages☆21Apr 11, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Procedural 3D mesh generation tool☆20Mar 25, 2018Updated 8 years ago
- irc bot with many useful commands☆12Jun 25, 2019Updated 6 years ago
- Starter code for Metal graphics programming in the Handmade style☆40Mar 3, 2020Updated 6 years ago
- Core code of the paper "Unbiased Caustics Rendering Guided by Representative Specular Paths".☆11Sep 8, 2022Updated 3 years ago
- voxel editing tool with OpenVDB☆13Dec 31, 2018Updated 7 years ago
- Solutions, scripting, and templates for adventofcode.com☆23Mar 2, 2024Updated 2 years ago
- From-scratch CPU emulator, instruction set, assembler, language☆13Updated this week