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 1 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 14 7 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
  • 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 6 Updated Nov 8, 2026
  • circuitbreaker-llm-verifier Public

    CircuitBreaker pilot: exact circuit lower-bound scores and a superlinear endpoint using the generic llm-verifier.

    Layr-Labs/circuitbreaker-llm-verifier's past year of commit activity
    Python 1 3 0 1 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 103 Updated Nov 8, 2026
  • ecdsafail-lean Public
    Layr-Labs/ecdsafail-lean's past year of commit activity
    Lean 1 Apache-2.0 0 0 3 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
  • hash-smash-pareto Public

    Production source for HashSmash's four-family Pareto successor. Yukon benchmark root: pareto.

    Layr-Labs/hash-smash-pareto's past year of commit activity
    Python 0 0 0 1 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
View all repositories