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 75 6

  2. GraphWaGu GraphWaGu Public

    TypeScript 31 3

  3. slog-lang1 slog-lang1 Public

    Slog 1.0

    Scheme 21 1

  4. Assemblage Assemblage Public

    The repo holds Assemblage

    Python 10

  5. bruck-alltoallv bruck-alltoallv Public

    C++ 6

  6. GPUJoin GPUJoin Public

    Cuda 6

Repositories

Showing 10 of 42 repositories
  • vflog Public

    vertical + gpu + free join + datalog

    harp-lab/vflog’s past year of commit activity
    Cuda 6 0 0 0 Updated Nov 10, 2024
  • cs480 Public

    Repository for Database Systems Class at UIC (cs480)

    harp-lab/cs480’s past year of commit activity
    C++ 0 7 0 0 Updated Nov 10, 2024
  • brainMapper Public

    Mapper

    harp-lab/brainMapper’s past year of commit activity
    0 0 0 0 Updated Nov 8, 2024
  • brouhaha Public

    A minimal Racket-like language

    harp-lab/brouhaha’s past year of commit activity
    C++ 3 1 0 0 Updated Nov 6, 2024
  • gdlog Public
    harp-lab/gdlog’s past year of commit activity
    Cuda 75 MIT 6 0 3 Updated Oct 22, 2024
  • ualcanWebApp Public

    Ualcan webapp code-base

    harp-lab/ualcanWebApp’s past year of commit activity
    TypeScript 0 0 0 0 Updated Oct 8, 2024
  • Assemblage Public

    The repo holds Assemblage

    harp-lab/Assemblage’s past year of commit activity
    Python 10 0 0 0 Updated Aug 6, 2024
  • rbruck_alltoall Public
    harp-lab/rbruck_alltoall’s past year of commit activity
    C++ 0 0 0 0 Updated Aug 5, 2024
  • TDA Public

    TDA and Persistent homology

    harp-lab/TDA’s past year of commit activity
    JavaScript 1 0 0 0 Updated Jul 1, 2024
  • gdlog-multinode Public
    harp-lab/gdlog-multinode’s past year of commit activity
    Cuda 1 MIT 0 0 2 Updated Jun 27, 2024
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…