Skip to content
@pllab

pllab

Popular repositories Loading

  1. type-refine type-refine Public

    Implementation of JavaScript Analysis that uses Type-Refinement concepts from our DLS 2013 paper.

    JavaScript 7 3

  2. scheme2beam scheme2beam Public

    Source compiler from Scheme to BEAM VM.

    OCaml 4

  3. cs162-tutorials cs162-tutorials Public

    Tutorials for Fall 2018

    Scala 3 7

  4. icfp2013 icfp2013 Public

    Tunable Control-Flow Sensitivity for Program Analysis

    Haskell 2

  5. CoSA CoSA Public

    Forked from cristian-mattarei/CoSA

    CoreIR Symbolic Analyzer

    Python 2

  6. signature-inference signature-inference Public

    Implementation of our CGO 2014 paper.

    Scala 1 3

Repositories

Showing 10 of 25 repositories
  • PyRTL Public Forked from UCSBarchlab/PyRTL

    A collection of classes providing simple hardware specification, simulation, tracing, and testing suitable for teaching and research. Simplicity, usability, clarity, and extendability rather than performance or optimization is the overarching goal.

    pllab/PyRTL’s past year of commit activity
    Python 1 BSD-3-Clause 74 1 0 Updated May 14, 2024
  • embedded-class-riscv Public

    PyRTL generator for embedded-class RISC-V cores

    pllab/embedded-class-riscv’s past year of commit activity
    Assembly 1 0 0 0 Updated May 6, 2024
  • BD-PyRTL-RV Public

    Ben D's PyRTL RISC-V

    pllab/BD-PyRTL-RV’s past year of commit activity
    Assembly 1 0 0 0 Updated Aug 16, 2023
  • pipelined-alu Public
    pllab/pipelined-alu’s past year of commit activity
    Python 1 0 0 0 Updated Aug 24, 2022
  • latte22-demo Public
    pllab/latte22-demo’s past year of commit activity
    Racket 1 0 0 0 Updated Jul 28, 2022
  • OPDB Public Forked from PrincetonUniversity/OPDB

    OpenPiton Design Benchmark

    pllab/OPDB’s past year of commit activity
    Verilog 0 6 0 0 Updated Aug 11, 2021
  • LLHD-Testing Public
    pllab/LLHD-Testing’s past year of commit activity
    0 0 0 0 Updated Feb 4, 2021
  • Lava-Testing Public

    Playing with various versions of Lava

    pllab/Lava-Testing’s past year of commit activity
    C++ 0 0 0 0 Updated Jan 13, 2021
  • CoSA Public Forked from cristian-mattarei/CoSA

    CoreIR Symbolic Analyzer

    pllab/CoSA’s past year of commit activity
    Python 2 15 0 0 Updated Jan 7, 2021
  • scheme2beam Public

    Source compiler from Scheme to BEAM VM.

    pllab/scheme2beam’s past year of commit activity
    OCaml 4 0 3 0 Updated Jun 8, 2020
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…