Skip to content
@reilabs

Reilabs

We build software that others can't.

Reilabs

We build software that others can't.

We've founded multi-million dollar startups, won programming competitions, and worked with the industry leaders at FAANG companies. See what we can build with you.

Reilabs is a software consultancy specialising in solving hard problems in complex and complicated problem domains. We do work in many areas, but we do not limit ourselves to these.

  • High-Performance Data Processing: Performance and reliability are critical for any big data application. We can suggest and implement tweaks to your pipeline with the potential of saving thousands of hours and millions of dollars in infrastructure costs.
  • Compilers and Tooling: From the design of programming languages and compilers to their development and maintenance, our team has worked on many cutting-edge language projects over the years. Our finesse can ensure that your tools achieve what you want them to.
  • Cross-Platform Development: Developing software for multiple platforms is expensive. With our expertise in cross-platform Rust development, we can rapidly build your core services once, and run them natively on desktop, web, and mobile (iOS and Android).

If any of that sounds good to you, and you're interested in working with us, please head to our website and send us a message.

Popular repositories Loading

  1. proven-zk proven-zk Public

    A support library for working with zero knowledge cryptography in Lean 4.

    Lean 32 3

  2. cairo-hints cairo-hints Public

    Cairo 21 4

  3. lampe lampe Public

    Extracting the semantics of Noir to Lean for formal verification

    Lean 19 1

  4. gnark-lean-demo gnark-lean-demo Public

    Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.

    Lean 14

  5. gnark-lean-extractor gnark-lean-extractor Public

    A tool to extract gnark circuits defined in Go to Lean for formal verification.

    Go 10 2

  6. hieratika hieratika Public

    Efforts to compile LLVM bytecode to run on top of the CairoVM and hence execute provably on Starknet

    Cairo 2

Repositories

Showing 10 of 45 repositories
  • lampe Public

    Extracting the semantics of Noir to Lean for formal verification

    reilabs/lampe’s past year of commit activity
    Lean 19 1 6 1 Updated Nov 30, 2024
  • miden-crypto Public Forked from 0xPolygonMiden/crypto

    Cryptographic primitives used in Polygon Miden rollup

    reilabs/miden-crypto’s past year of commit activity
    Rust 0 MIT 36 0 0 Updated Nov 29, 2024
  • whir Public Forked from WizardOfMenlo/whir

    WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

    reilabs/whir’s past year of commit activity
    Rust 0 Apache-2.0 15 0 1 Updated Nov 29, 2024
  • gnark-skyscraper Public

    Skyscraper hash implementation in gnark

    reilabs/gnark-skyscraper’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Nov 29, 2024
  • gnark Public Forked from Consensys/gnark

    gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

    reilabs/gnark’s past year of commit activity
    Go 0 Apache-2.0 397 0 0 Updated Nov 28, 2024
  • hieratika Public

    Efforts to compile LLVM bytecode to run on top of the CairoVM and hence execute provably on Starknet

    reilabs/hieratika’s past year of commit activity
    Cairo 2 Apache-2.0 0 44 2 Updated Nov 27, 2024
  • miden-vm Public Forked from 0xPolygonMiden/miden-vm

    STARK-based virtual machine

    reilabs/miden-vm’s past year of commit activity
    Rust 0 MIT 171 0 1 Updated Nov 27, 2024
  • gnark-nimue Public

    Recursive verification of Nimue transcripts

    reilabs/gnark-nimue’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Nov 27, 2024
  • nimue Public Forked from arkworks-rs/nimue

    Fiat-Shamir for the masses.

    reilabs/nimue’s past year of commit activity
    Rust 0 BSD-3-Clause 11 0 0 Updated Nov 27, 2024
  • reilabs/gnark-whir’s past year of commit activity
    Go 0 0 0 4 Updated Nov 27, 2024

Top languages

Loading…

Most used topics

Loading…