There are 2 repositories under lava topic.
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.
Lava auto commit to increase your points, powered by GitHub Actions.
LAVA: Longitudinal Analysis of Viral Alleles
🌋 🔶 🔁 UnlimitedLava plugin for CraftBukkit/Spigot
A code to increase your points on Lava testnet, powered by Github actions
A bot that automatically pushes Lava Airdrop points.
Adds lava tools, armor, and blocks to the game
FORTRAN software to calculate the redox state of iron in magmas
A game about escaping a volcano where magma is slowly rising.
Linaro Automation and Validation Architecture (LAVA) docker instance (Master)
Linaro Automation and Validation Architecture (LAVA) docker instance (Worker)
Tests actions for https://www.linaro.org/initiatives/lava/
Bukkit version of a LavaRun
EliteRising for MC-1.19
A Cross-Platform multipurpose client from MagmaRat Studios
LXX503-user 12 SP1A.210812.016 1669458002 release-keys
ARM implementation for the LAVA project
The SKitLs.Payments.Lava is a comprehensive toolkit designed to facilitate seamless integration with the Lava payment service. Lava API Documentation: https://dev.lava.ru/
A simple guide that will allow you to become a Lava validator
Personal notes on Xiaomi Redmi 9 (lancelot)
My first microgame proposed by the Unity documentation.