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
- Updated LazyK source distribution☆19Nov 20, 2025Updated 8 months ago
- A short research about Physically Based Rendering on the web.☆14Aug 10, 2018Updated 8 years ago
- Twitch/Discord Chat Bot that works for KGB monkaS☆17Nov 18, 2020Updated 5 years ago
- OpenVDB Samples☆11Aug 18, 2015Updated 10 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.
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 8 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Jun 19, 2026Updated last month
- Solve 24 puzzles using zero-aware pattern databases☆15Nov 19, 2024Updated last year
- Demonstration of GTK4 TreeListView with drag-and-drop☆16Sep 21, 2024Updated last year
- Actor-model based concurrency in a reactive programming language.☆17Aug 5, 2017Updated 9 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 6 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Apr 13, 2025Updated last year
- 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.
- ➰ A program for manipulating and playing with knot diagrams.☆20May 21, 2020Updated 6 years ago
- Restore the far lands! Works up to 1.12.2☆22Sep 4, 2025Updated 11 months ago
- simple binary tree visualizer☆12Jan 19, 2024Updated 2 years ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 9 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Jul 16, 2026Updated 3 weeks ago
- 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
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- ☆10Nov 25, 2021Updated 4 years ago
- Library used to easily create minecraft ingame GUIs☆17Mar 2, 2021Updated 5 years ago
- Procedural 3D mesh generation tool☆20Mar 25, 2018Updated 8 years ago
- Core code of the paper "Unbiased Caustics Rendering Guided by Representative Specular Paths".☆11Sep 8, 2022Updated 3 years ago
- A GUI Wrapper around Srg2Source.☆23Sep 24, 2019Updated 6 years ago
- Ocean Simulation Based on a Model By Keith Lantz (https://www.keithlantz.net/)☆29Jul 26, 2026Updated 2 weeks ago
- Leo code snippets☆13Apr 27, 2020Updated 6 years ago
- A Variational LSTM to generate rap music (with and without text input)☆11Jan 2, 2017Updated 9 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.
- Minecraft clone in haskell focussed on performance.☆27Jun 16, 2024Updated 2 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Jun 11, 2026Updated 2 months ago
- RPi program to use Bluetooth and/or USB gamepads and mice on retro 8/16-bit computers (C64, Amiga, etc)☆15Dec 11, 2020Updated 5 years ago
- Hadoop, Hive, Spark, Zeppelin and Livy: all in one Docker-compose file.☆10Apr 30, 2022Updated 4 years ago
- Common Lisp interface to D-Wave's Python Pack for adiabatic quantum computer energy programming☆11Jul 30, 2015Updated 11 years ago
- ☆13Apr 19, 2020Updated 6 years ago
- Conway's Game of Life adapted as a roguelike puzzle game. Was created as an experimental 7-day-roguelike. I don't provide much support fo…☆18Jun 28, 2013Updated 13 years ago