Skip to content
@Layr-Labs

Eigen Labs

The research lab building coordination technologies that preserve and expand individual agency in a post-AGI world.

Pinned Loading

  1. eigenlayer-contracts eigenlayer-contracts Public

    Contracts of EigenLayer

    Solidity 721 483

  2. eigenda eigenda Public

    Secure, high-throughput, and decentralized Data Availability

    Go 262 273

  3. d-inference d-inference Public

    Private Inference Network on Idle Macs

    Swift 572 128

  4. mlx-swift-lm mlx-swift-lm Public

    Forked from ml-explore/mlx-swift-lm

    LLMs and VLMs with MLX Swift

    Swift 2 10

Repositories

Showing 10 of 208 repositories
  • dcp Public

    Dihedral Coset Problem research challenge with proof-backed time and memory scores using llm-verifier.

    Layr-Labs/dcp's past year of commit activity
    Python 0 1 0 2 Updated Nov 8, 2026
  • labinius-fast-challenge Public
    Layr-Labs/labinius-fast-challenge's past year of commit activity
    Rust 1 1 1 0 Updated Nov 8, 2026
  • ecdsafail-challenge Public

    A collaborative effort to build the leanest circuit that breaks ECDSA

    Layr-Labs/ecdsafail-challenge's past year of commit activity
    Rust 92 49 13 6 Updated Nov 8, 2026
  • ecdsafail-lean Public
    Layr-Labs/ecdsafail-lean's past year of commit activity
    Lean 1 Apache-2.0 0 0 4 Updated Nov 8, 2026
  • d-inference Public

    Private Inference Network on Idle Macs

    Layr-Labs/d-inference's past year of commit activity
    Swift 572 128 116 95 Updated Nov 8, 2026
  • curvesma.sh Public

    Elliptic Curve Pairing Cryptanalysis on Yukon

    Layr-Labs/curvesma.sh's past year of commit activity
    Python 1 Apache-2.0 1 4 4 Updated Nov 8, 2026
  • arena-fortress Public

    dfbench season 0: harness optimisation in Dwarf Fortress (pre-release)

    Layr-Labs/arena-fortress's past year of commit activity
    Python 0 Apache-2.0 0 1 1 Updated Nov 8, 2026
  • sig.golf Public
    Layr-Labs/sig.golf's past year of commit activity
    Lean 8 Apache-2.0 6 0 5 Updated Nov 8, 2026
  • flock-challenge Public
    Layr-Labs/flock-challenge's past year of commit activity
    Rust 4 Apache-2.0 5 0 5 Updated Nov 8, 2026
  • shor-ecdlp-lean Public
    Layr-Labs/shor-ecdlp-lean's past year of commit activity
    Lean 1 Apache-2.0 1 0 0 Updated Nov 7, 2026
View all repositories

Top languages

Loading…