lava

There are 2 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.

  haskellfpgaverilogcompilerlava
  Language:Haskell 408

• Linaro / lava

  Read only mirror https://gitlab.com/lava/lava

  automation-frameworkkernelcitest-automationfreesoftwarelinuxzephyrarmdutdocumentationvalidationlava
  Language:Python 69

• kureysalp / Fluid-Shader

  Fluid Shader with Unity Shader Graph.

  unityshadershadergraphwaterunity3dlava
  Language:C# 34

• lavaio / lava

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

  lavapocca
  Language:C++ 23
• PyPayment

  TimNekk / PyPayment

  Payment providers API wrapper

  apilavapaymentpayokpythonqiwiyoomoney
  Language:Python 12

• hex-hook / coin-script

  A simple web3 script library

  lavaweb3bunethereumpolkadotsolana
  Language:TypeScript 9

• michellejlin / lava

  LAVA: Longitudinal Analysis of Viral Alleles

  longitudinal-analysisviral-evolutionviral-alleleantiviral-resistancebioinformaticsvisualizationfastq-filesgff-fileslavareference-fastagenbankproteinanalysis
  Language:Python 8

• dante4rt / lava-auto-commit

  Lava auto commit to increase your points, powered by GitHub Actions.

  autoautomatedbotcommitlava
  Language:Shell 7

• timbru31 / UnlimitedLava

  🌋 🔶 🔁 UnlimitedLava plugin for CraftBukkit/Spigot

  lavajavabukkitbukkit-pluginspigot-pluginspigotmcminecraftcraftbukkit
  Language:Java 6
• lavastuff

  minetest-mods / lavastuff

  Adds lava tools, armor, and blocks to the game

  lavaminetest-modtoolsblocksarmorminetest
  Language:Lua 4

• bfletcher / remote-usb-target

  Target board power and USB control over ethernet

  lava96boardshikeyusbip
  Language:Python 3

• charlesll / iron-magma

  FORTRAN software to calculate the redox state of iron in magmas

  ironmagmavolcanologygeochemistrygeochemical-modelinglava
  Language:Fortran 3

• Constrained-Development / Magmescape

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

  gameunitygame-2dcsharpmagmescapemagmalavaplatformerdifficulthardgemscrystalsplatformscoopcooperative2-playerwindowsmaclinuxwebgl
  Language:C# 3

• dante4rt / lava-auto-push

  A bot that automatically pushes Lava Airdrop points.

  airdropbotcryptocurrencylavarpc
  Language:JavaScript 3

• garrettjohnson / prettier-plugin-lava

  Prettier Lava plugin. Not production ready

  lavarock-rms
  Language:TypeScript 3

• ci-box / ci-box-lava-master

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

  cilavacontinuous-integrationautomated-testing
  Language:Shell 2

• ci-box / ci-box-lava-worker

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

  cicontinous-integrationautomated-testinglava
  Language:Dockerfile 2

• ci-box / lava-lab

  Simple CI Loop example for testing on hardware

  lavaciboxcontainerstestinghardware-testing
  Language:HTML 2

• 9elements / lava-blobs

  Binary files (assets) used with https://lava.9esec.io

  lavacorebootci
  Language:Shell 1

• 9elements / lava-tests

  Tests actions for https://www.linaro.org/initiatives/lava/

  lavatest-automationcorebootqa
  1

• Desour / pump

  [Mod] Liquid pumping Pump [pump]

  minetestminetest-modliquidpumpwaterlavatransport
  Language:Lua 1

• Go-Va / lavarun-plugin

  Bukkit version of a LavaRun

  minecraftspigotspigot-pluginbukkitbukkit-plugingamelavaarenabeam
  Language:Java 1

• ilpenSE / EliteRising-1.19

  EliteRising for MC-1.19

  bukkitgamelavaminceraftminecraftspigotspigot-plugin
  Language:Java 1

• krakphp / lava

  Micro framework with massive potential

  micro-frameworklavafull-stackmodular
  Language:PHP 1

• MagmaRat-Studios / MRSAppStore

  A Cross-Platform multipurpose client from MagmaRat Studios

  magmaratstudiosprincessdesynklilithclientlavaappsstoreopensourcefoss
  Language:Vue 1

• TheArcherST / aiolava

  Asyncio Python SDK for lava.ru

  asyncioasyncio-api-wrapperlavapythonpayment
  Language:Python 1

• Dump-Rom / lava_lxx503_dump

  LXX503-user 12 SP1A.210812.016 1669458002 release-keys

  dumpfirmwarelavamt6833lxx503
  Language:Shell 0

• Fasertio / lava-boost

  ARM implementation for the LAVA project

  injection-attackslavasoftware-securityvulnerability
  Language:C++ 0

• pbassham / lava-runner

  Lava Runner on VSCode Marketplace

  lavarockrms
  Language:TypeScript 0

• 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/

  apicsharplavapayment-gatewaypayments
  Language:C# 0

• charlesll / water-speciation-magma

  Model for prediction of water speciation in magmatic liquids

  watermagmalavavolcanologygeochemistrygeochemical-modelingspeciation
  Language:Fortran

• fahimscirex / lancenotes

  Personal notes on Xiaomi Redmi 9 (lancelot)

  lancelotlavaredmiublxiaomimtkclientredmi-9

• FedeCana00 / The-floor-is-lava

  My first microgame proposed by the Unity documentation.

  game-developmentlavaunityunity3d

• p9e / whale

  universal soul music harmony halo

  neptunequintilepisceslavawise
  Language:CSS

• something6969 / device_xiaomi_lava

  Dummy device tree for havoc_lava

  lavamt6768xiaomi
  Language:Makefile

• something6969 / vendor_xiaomi_lava

  Vendor tree for havoc_lava

  lavamt6768xiaomi
  Language:Makefile