8000 Curtsinger Research Lab at Grinnell College · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@curtsinger-lab

Curtsinger Research Lab at Grinnell College

Popular repositories Loading

  1. riker riker Public

    Always-Correct and Fast Incremental Builds from Simple Specifications

    C++ 89 6

  2. parsec-benchmark parsec-benchmark Public

    Forked from cirosantilli/parsec-benchmark

    PARSEC http://parsec.cs.princeton.edu/ 3.0-beta-20150206 ported to Ubuntu 17.10 and with proper version control and SPLASH2 ported to Buildroot 2017.08 cross compilation (ARM, MIPS, etc.). This rep…

    C

  3. idi-grant idi-grant Public

Repositories

Showing 3 of 3 repositories
  • riker Public

    Always-Correct and Fast Incremental Builds from Simple Specifications

    curtsinger-lab/riker’s past year of commit activity
    C++ 89 BSD-3-Clause 6 4 0 Updated Jun 21, 2024
  • idi-grant Public
    curtsinger-lab/idi-grant’s past year of commit activity
    0 0 0 0 Updated Jun 5, 2020
  • parsec-benchmark Public Forked from cirosantilli/parsec-benchmark

    PARSEC http://parsec.cs.princeton.edu/ 3.0-beta-20150206 ported to Ubuntu 17.10 and with proper version control and SPLASH2 ported to Buildroot 2017.08 cross compilation (ARM, MIPS, etc.). This repo intends to support all build types and benchmarks, pull requests will be actively tested and merged.

    curtsinger-lab/parsec-benchmark’s past year of commit activity
    C 0 41 0 0 Updated Jul 23, 2018

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…
0