lava
There are 49 repositories under lava topic.
tommythorn/Reduceron
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.
Linaro/lava
Read only mirror https://gitlab.com/lava/lava
kureysalp/Fluid-Shader
Fluid Shader with Unity Shader Graph.
lavaio/lava
Lava is a Proof-of-Capacity backed global digital infrastructure where people can create, trade and manage real-world assets.
dante4rt/lava-auto-commit
Lava auto commit to increase your points, powered by GitHub Actions.
TimNekk/PyPayment
Unified Interface for Payment APIs
hex-hook/coin-script
A simple web3 script library
michellejlin/lava
LAVA: Longitudinal Analysis of Viral Alleles
timbru31/UnlimitedLava
🌋 🔶 🔁 UnlimitedLava plugin for CraftBukkit/Spigot
0xVendetta/Lava-testnet
A code to increase your points on Lava testnet, powered by Github actions
dante4rt/lava-auto-push
A bot that automatically pushes Lava Airdrop points.
minetest-mods/lavastuff
Adds lava tools, armor, and blocks to the game
bfletcher/remote-usb-target
Target board power and USB control over ethernet
charlesll/iron-magma
FORTRAN software to calculate the redox state of iron in magmas
ci-box/lava-lab
Simple CI Loop example for testing on hardware
Constrained-Development/Magmescape
A game about escaping a volcano where magma is slowly rising.
garrettjohnson/prettier-plugin-lava
Prettier Lava plugin. Not production ready
ci-box/ci-box-lava-master
Linaro Automation and Validation Architecture (LAVA) docker instance (Master)
ci-box/ci-box-lava-worker
Linaro Automation and Validation Architecture (LAVA) docker instance (Worker)
9elements/lava-blobs
Binary files (assets) used with https://lava.9esec.io
9elements/lava-tests
Tests actions for https://www.linaro.org/initiatives/lava/
Desour/pump
[Mod] Liquid pumping Pump [pump]
Go-Va/lavarun-plugin
Bukkit version of a LavaRun
ilpenSE/EliteRising-1.19
EliteRising for MC-1.19
krakphp/lava
Micro framework with massive potential
MagmaRat-Studios/MRSAppStore
A Cross-Platform multipurpose client from MagmaRat Studios
pbassham/lava-runner
Lava Runner on VSCode Marketplace
TheArcherST/aiolava
Asyncio Python SDK for lava.ru
Dump-Rom/lava_lxx503_dump
LXX503-user 12 SP1A.210812.016 1669458002 release-keys
Fasertio/lava-boost
ARM implementation for the LAVA project
rainy351/LavaAPI
A Python API for Lava Payment System - 2024
SKitLs-dev/SKitLs.Payments.Lava
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/
0semter0/lava_validator_node
A simple guide that will allow you to become a Lava validator
fahimscirex/lancenotes
Personal notes on Xiaomi Redmi 9 (lancelot)
FedeCana00/The-floor-is-lava
My first microgame proposed by the Unity documentation.
p9e/whale
universal soul music harmony halo