Skip to content

@lurium Lurium

Change the repository type filter

All

    Repositories list

    168 repositories

    • llama

      Public
      Inference code for LLaMA models
      Python
      •
      GNU General Public License v3.0
      •9.7k•0•0•0•Updated Mar 5, 2023Mar 5, 2023

    • z3

      Public
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.5k•0•0•0•Updated Mar 3, 2023Mar 3, 2023

    • zkWasm

      Public
      Rust
      •
      Apache License 2.0
      •109•0•0•0•Updated Feb 27, 2023Feb 27, 2023

    • zkWasm-C

      Public
      C
      •4•0•0•0•Updated Feb 26, 2023Feb 26, 2023

    • simple-binary-encoding

      Public
      Simple Binary Encoding (SBE) - High Performance Message Codec
      Java
      •
      Apache License 2.0
      •528•0•0•0•Updated Feb 15, 2023Feb 15, 2023

    • Hastlayer-SDK

      Public
      Turning .NET assemblies into FPGA hardware for faster execution and lower power usage. See the Readme and https://hastlayer.com.
      C#
      •
      BSD 3-Clause "New" or "Revised" License
      •34•0•0•0•Updated Feb 7, 2023Feb 7, 2023

    • Hastlayer-Remote-Bridge

      Public
      Project that contains everything necessary for all the components of the remote Hastlayer infrastructure. See https://hastlayer.com for details.
      C#
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Feb 7, 2023Feb 7, 2023

    • Hastlayer-Core

      Public
      The core logic of Hastlayer, those components that are the most important, dealing with various aspects of software to hardware transformation. These should be kept private.
      VHDL
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Feb 7, 2023Feb 7, 2023

    • triton-vm

      Public
      Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
      Rust
      •
      Apache License 2.0
      •42•0•0•0•Updated Jan 29, 2023Jan 29, 2023

    • u-boot

      Public
      "Das U-Boot" Source Tree
      C
      •3.8k•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • RVVM

      Public
      The RISC-V Virtual Machine
      C
      •
      GNU General Public License v3.0
      •73•0•0•0•Updated Jan 25, 2023Jan 25, 2023

    • risc0

      Public
      RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      •
      Apache License 2.0
      •503•0•0•0•Updated Jan 24, 2023Jan 24, 2023

    • qemu

      Public
      Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
      C
      •
      Other
      •5.8k•0•0•0•Updated Jan 24, 2023Jan 24, 2023

    • opensbi

      Public
      RISC-V Open Source Supervisor Binary Interface
      C
      •
      Other
      •540•0•0•0•Updated Jan 24, 2023Jan 24, 2023

    • riscv-isa-sim

      Public
      Spike, a RISC-V ISA Simulator
      C
      •
      Other
      •902•0•0•0•Updated Jan 20, 2023Jan 20, 2023

    • barretenberg

      Public
      C++
      •
      GNU General Public License v2.0
      •116•0•0•0•Updated Jan 19, 2023Jan 19, 2023

    • aztec-connect

      Public
      aztec connect repository
      C++
      •
      GNU General Public License v2.0
      •381•0•0•0•Updated Jan 19, 2023Jan 19, 2023

    • riscv-gnu-toolchain

      Public
      GNU toolchain for RISC-V, including GCC
      C
      •
      Other
      •1.2k•0•0•0•Updated Jan 19, 2023Jan 19, 2023

    • wasm-micro-runtime

      Public
      WebAssembly Micro Runtime (WAMR)
      C
      •
      Apache License 2.0
      •656•0•0•0•Updated Jan 17, 2023Jan 17, 2023

    • WasmEdge

      Public
      WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
      C++
      •
      Apache License 2.0
      •800•0•0•0•Updated Jan 17, 2023Jan 17, 2023

    • cairo-lang

      Public
      Python
      •
      Other
      •278•0•0•0•Updated Jan 16, 2023Jan 16, 2023

    • research

      Public
      Python
      •
      MIT License
      •594•0•0•0•Updated Jan 16, 2023Jan 16, 2023

    • zkevm-testvectors

      Public
      JavaScript
      •17•0•0•0•Updated Jan 12, 2023Jan 12, 2023

    • zkevm-node

      Public
      Go implementation of a node that operates the Polygon zkEVM Network
      Go
      •
      GNU General Public License v3.0
      •724•0•0•0•Updated Jan 12, 2023Jan 12, 2023

    • zkevm-rom

      Public
      This repo contains the zkasm source code of the zkEVM
      JavaScript
      •51•0•0•0•Updated Jan 12, 2023Jan 12, 2023

    • zkevm-bridge-service

      Public
      Go
      •
      GNU General Public License v3.0
      •75•0•0•0•Updated Jan 12, 2023Jan 12, 2023

    • zkevm-prover

      Public
      zkEVM prover in C++
      C++
      •160•0•0•0•Updated Jan 12, 2023Jan 12, 2023

    • zkevm-contracts

      Public
      JavaScript
      •
      GNU General Public License v3.0
      •342•0•0•0•Updated Jan 12, 2023Jan 12, 2023

    • aztec-2.0

      Public
      C++ elliptic curve library
      C++
      •38•0•0•0•Updated Jan 11, 2023Jan 11, 2023

    • plonky2

      Public
      Rust
      •306•0•0•0•Updated Jan 11, 2023Jan 11, 2023