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.
Language:Haskell 428- Language:Python 73
- Language:C# 33
dante4rt / lava-auto-commit
Lava auto commit to increase your points, powered by GitHub Actions.
Language:Shell 23lavaio / lava
Lava is a Proof-of-Capacity backed global digital infrastructure where people can create, trade and manage real-world assets.
Language:C++ 23- PyPaymentLanguage:Python 22
- Language:TypeScript 10
michellejlin / lava
LAVA: Longitudinal Analysis of Viral Alleles
Language:Python 8timbru31 / UnlimitedLava
🌋 🔶 🔁 UnlimitedLava plugin for CraftBukkit/Spigot
Language:Java 60xVendetta / Lava-testnet
A code to increase your points on Lava testnet, powered by Github actions
Language:Shell 5A bot that automatically pushes Lava Airdrop points.
Language:JavaScript 5- lavastuff
minetest-mods / lavastuff
Adds lava tools, armor, and blocks to the game
Language:Lua 4 - Language:Python 3
charlesll / iron-magma
FORTRAN software to calculate the redox state of iron in magmas
Language:Fortran 3- Language:HTML 3
Constrained-Development / Magmescape
A game about escaping a volcano where magma is slowly rising.
Language:C# 3- Language:TypeScript 3
ci-box / ci-box-lava-master
Linaro Automation and Validation Architecture (LAVA) docker instance (Master)
Language:Shell 2Linaro Automation and Validation Architecture (LAVA) docker instance (Worker)
Language:Dockerfile 2- Language:TypeScript 2
- Language:Shell 1
9elements / lava-tests
Tests actions for https://www.linaro.org/initiatives/lava/
abhishekprajapatt / 3DPortfilo
An interactive 3D portfolio with a dynamic workspace, animations, and engaging UI elements, built using modern web technologies three.js and canvas
Language:JavaScript 1AlinaBaber / Data-Science-and-Insight-Agent-RAG-LLama3-Lava-LLM-Django-WebApplication
Data-Science-and-Insight-Agent-RAG-LLama3-Lava-LLM-Django-WebApplication is an advanced AI-driven chatbot designed to assist in data science, document analysis, and image interpretation.This repository contain the Django based Web Application of this project.
Language:CSS 1asshejan / Image-Description-Locally-using-LLava
A Streamlit app that uses the Ollama llava model to describe uploaded images. Simply upload an image, and the model generates a description. Easy setup and interactive interface!
Language:Python 1- Language:Lua 1
Go-Va / lavarun-plugin
Bukkit version of a LavaRun
Language:Java 1ilpenSE / EliteRising-1.19
EliteRising for MC-1.19
Language:Java 1- Language:PHP 1
MagmaRat-Studios / MRSAppStore
A Cross-Platform multipurpose client from MagmaRat Studios
Language:Vue 1- Language:C# 1
- Language:Python 1
ToddyTheNoobDud / Kenium
An fork of lavalink, that i tried to port to Javascript (nodejs)
Language:JavaScript 00semter0 / lava_validator_node
A simple guide that will allow you to become a Lava validator
Data-Science-and-Insight-Agent-RAG-LLama3-Lava-LLM-Django-WebApplication is an advanced AI-driven chatbot designed to assist in data science, document analysis, and image interpretation. This repository contain the Django based rest apis of this project.
Language:Python
