Skip to content

@pllab pllab

Change the repository type filter

All

    Repositories list

    26 repositories

    • elephant

      Public
      Verilog
      •1•1•0•0•Updated Nov 22, 2024Nov 22, 2024

    • PyRTL

      Public
      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
      •
      BSD 3-Clause "New" or "Revised" License
      •78•1•1•0•Updated May 14, 2024May 14, 2024

    • embedded-class-riscv

      Public
      PyRTL generator for embedded-class RISC-V cores
      Assembly
      •0•1•0•0•Updated May 6, 2024May 6, 2024

    • BD-PyRTL-RV

      Public
      Ben D's PyRTL RISC-V
      Assembly
      •0•1•0•0•Updated Aug 16, 2023Aug 16, 2023

    • pipelined-alu

      Public
      Python
      •0•1•0•0•Updated Aug 24, 2022Aug 24, 2022

    • latte22-demo

      Public
      Racket
      •0•1•0•0•Updated Jul 28, 2022Jul 28, 2022

    • OPDB

      Public
      OpenPiton Design Benchmark
      Verilog
      •6•0•0•0•Updated Aug 11, 2021Aug 11, 2021

    • LLHD-Testing

      Public
      0•0•0•0•Updated Feb 4, 2021Feb 4, 2021

    • Lava-Testing

      Public
      Playing with various versions of Lava
      C++
      •0•0•0•0•Updated Jan 13, 2021Jan 13, 2021

    • CoSA

      Public
      CoreIR Symbolic Analyzer
      Python
      •
      Other
      •15•2•0•0•Updated Jan 7, 2021Jan 7, 2021

    • scheme2beam

      Public
      Source compiler from Scheme to BEAM VM.
      OCaml
      •0•4•3•0•Updated Jun 8, 2020Jun 8, 2020

    • type-refine

      Public
      Implementation of JavaScript Analysis that uses Type-Refinement concepts from our DLS 2013 paper.
      JavaScript
      •
      Other
      •3•7•1•0•Updated Mar 26, 2019Mar 26, 2019

    • CS162-regex

      Public
      Scala
      •10•1•0•0•Updated Dec 7, 2018Dec 7, 2018

    • measure-tool

      Public
      A tool for measuring memory consumption in the JVM
      C++
      •0•0•0•0•Updated Nov 8, 2018Nov 8, 2018

    • cs162-tutorials

      Public
      Tutorials for Fall 2018
      tutorialsprogramming-languages
      Scala
      •7•3•0•0•Updated Sep 28, 2018Sep 28, 2018

    • scala.g8

      Public
      A basic Scala g8 template for CS162
      Scala
      •0•0•0•0•Updated Sep 26, 2018Sep 26, 2018

    • games

      Public
      Scheduling for board games and roleplaying sessions hosted by the PL Lab!
      HTML
      •0•0•0•0•Updated Jun 16, 2018Jun 16, 2018

    • cats

      Public
      Category theory reading group @ pllab@UCSB
      HTML
      •0•0•0•0•Updated May 29, 2018May 29, 2018

    • grammy

      Public
      An adventure in categorial grammars!
      Scala
      •0•0•1•0•Updated Mar 10, 2018Mar 10, 2018

    • CS162-Winter2018-Assignment2

      Public
      C++
      •6•0•0•1•Updated Feb 9, 2018Feb 9, 2018

    • sexp-cpp

      Public
      A S-Expression Parser for C++
      sexpz3-specific
      C++
      •
      GNU General Public License v3.0
      •4•0•0•0•Updated Jun 2, 2017Jun 2, 2017

    • CVC4

      Public
      CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
      SMT
      •
      Other
      •234•0•0•0•Updated Mar 9, 2017Mar 9, 2017

    • z3

      Public
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.5k•0•0•0•Updated Feb 15, 2017Feb 15, 2017

    • lab06_starter_code

      Public
      Java
      •
      MIT License
      •5•0•0•0•Updated Oct 31, 2016Oct 31, 2016

    • signature-inference

      Public
      Implementation of our CGO 2014 paper.
      Scala
      •3•1•0•0•Updated Feb 13, 2014Feb 13, 2014

    • icfp2013

      Public
      Tunable Control-Flow Sensitivity for Program Analysis
      Haskell
      •0•2•0•0•Updated Mar 28, 2013Mar 28, 2013