Skip to content
@harp-lab

HARP Lab

We are the HARP (High-performance Automated Reasoning and Programming) lab

Popular repositories Loading

  1. gdlog gdlog Public

    Cuda 81 7

  2. slog-lang1 slog-lang1 Public

    Slog 1.0

    Scheme 42 2

  3. GraphWaGu GraphWaGu Public

    TypeScript 33 4

  4. vflog vflog Public

    vertical + gpu + free join + datalog

    Cuda 20

  5. Assemblage Assemblage Public

    The repo holds Assemblage

    Python 10

  6. bruck-alltoallv bruck-alltoallv Public

    C++ 8

Repositories

Showing 10 of 48 repositories
  • MNMGDatalog Public
    Cuda 1 0 0 1 Updated May 7, 2025
  • Assemblage_dataset_cli Public
    Python 0 0 0 0 Updated May 3, 2025
  • GraphWaGu Public
    TypeScript 33 MIT 4 1 1 Updated Apr 28, 2025
  • harp-lab.github.io Public

    HARP lab website

    HTML 0 0 0 0 Updated Apr 15, 2025
  • cder-webGPU Public
    HTML 0 0 0 0 Updated Apr 10, 2025
  • brainMapper Public

    Mapper

    Jupyter Notebook 0 0 0 0 Updated Apr 8, 2025
  • TemporalBrainPH Public
    Python 1 0 0 0 Updated Mar 27, 2025
  • yapall Public Forked from GaloisInc/yapall

    A precise and scalable pointer analysis for LLVM, written in Ascent

    C 1 BSD-3-Clause 4 0 0 Updated Mar 1, 2025
  • vflog Public

    vertical + gpu + free join + datalog

    Cuda 20 0 0 0 Updated Feb 12, 2025
  • compcert-ascent Public Forked from StarGazerM/compcert-ascent
    Rust 0 1 0 0 Updated Feb 7, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.