lava

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.

Read only mirror https://git.lavasoftware.org/lava/lava

Fluid Shader with Unity Shader Graph.

Lava is a Proof-of-Capacity backed global digital infrastructure where people can create, trade and manage real-world assets.

LAVA: Longitudinal Analysis of Viral Alleles

🌋 🔶 🔁 UnlimitedLava plugin for CraftBukkit/Spigot

Adds lava tools, armor, and blocks to the game

A game about escaping a volcano where magma is slowly rising.

FORTRAN software to calculate the redox state of iron in magmas

Bukkit version of a LavaRun

Linaro Automation and Validation Architecture (LAVA) docker instance (Worker)

EliteRising for MC-1.19

Linaro Automation and Validation Architecture (LAVA) docker instance (Master)

Simple CI Loop example for testing on hardware

Micro framework with massive potential

A Cross-Platform multipurpose client from MagmaRat Studios

[Mod] Liquid pumping Pump [pump]

Test definitions work with and without LAVA

universal soul music harmony halo

Target board power and USB control over ethernet