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. elephant elephant Public

    VHDL 2 3

Repositories

Showing 10 of 26 repositories
  • elephant Public
    VHDL 2 3 0 0 Updated Apr 16, 2025
  • 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.

    Python 1 BSD-3-Clause 83 1 0 Updated May 14, 2024
  • embedded-class-riscv Public

    PyRTL generator for embedded-class RISC-V cores

    Assembly 1 0 0 0 Updated May 6, 2024
  • BD-PyRTL-RV Public

    Ben D's PyRTL RISC-V

    Assembly 1 0 0 0 Updated Aug 16, 2023
  • pipelined-alu Public
    Python 1 0 0 0 Updated Aug 24, 2022
  • latte22-demo Public
    Racket 1 0 0 0 Updated Jul 28, 2022
  • OPDB Public Forked from PrincetonUniversity/OPDB

    OpenPiton Design Benchmark

    Verilog 0 6 0 0 Updated Aug 11, 2021
  • LLHD-Testing Public
    0 0 0 0 Updated Feb 3, 2021
  • Lava-Testing Public

    Playing with various versions of Lava

    C++ 0 0 0 0 Updated Jan 13, 2021
  • CoSA Public Forked from cristian-mattarei/CoSA

    CoreIR Symbolic Analyzer

    Python 2 17 0 0 Updated Jan 7, 2021
View all repositories

People

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

Most used topics

Loading…