Skip to content
Change the repository type filter

All

    Repositories list

    • elephant

      Public
      VHDL
      5440Updated Mar 18, 2026Mar 18, 2026
    • PyRTL

      Public
      A collection of classes providing simple hardware specification, simulation, tracing, and testing suitable for teaching and research. Simplicity, usability, cl…
      Python
      BSD 3-Clause "New" or "Revised" License
      91210Updated May 14, 2024May 14, 2024
    • Python
      0100Updated Aug 24, 2022Aug 24, 2022
    • Racket
      0100Updated Jul 28, 2022Jul 28, 2022
    • OPDB

      Public
      OpenPiton Design Benchmark
      Verilog
      7000Updated Aug 11, 2021Aug 11, 2021
    • 0000Updated Feb 4, 2021Feb 4, 2021
    • Playing with various versions of Lava
      C++
      0000Updated Jan 13, 2021Jan 13, 2021
    • CoSA

      Public
      CoreIR Symbolic Analyzer
      Python
      Other
      18200Updated Jan 7, 2021Jan 7, 2021
    • Source compiler from Scheme to BEAM VM.
      OCaml
      0430Updated Jun 8, 2020Jun 8, 2020
    • Implementation of JavaScript Analysis that uses Type-Refinement concepts from our DLS 2013 paper.
      JavaScript
      Other
      3710Updated Mar 26, 2019Mar 26, 2019
    • Scala
      10100Updated Dec 7, 2018Dec 7, 2018
    • A tool for measuring memory consumption in the JVM
      C++
      0000Updated Nov 8, 2018Nov 8, 2018
    • Tutorials for Fall 2018
      Scala
      7300Updated Sep 28, 2018Sep 28, 2018
    • scala.g8

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

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

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

      Public
      An adventure in categorial grammars!
      Scala
      0010Updated Mar 10, 2018Mar 10, 2018
    • C++
      6001Updated Feb 9, 2018Feb 9, 2018
    • sexp-cpp

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

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

      Public
      The Z3 Theorem Prover
      C++
      Other
      1.6k000Updated Feb 15, 2017Feb 15, 2017
    • Java
      MIT License
      5000Updated Oct 31, 2016Oct 31, 2016
    • Implementation of our CGO 2014 paper.
      Scala
      3100Updated Feb 13, 2014Feb 13, 2014
    • icfp2013

      Public
      Tunable Control-Flow Sensitivity for Program Analysis
      Haskell
      0200Updated Mar 28, 2013Mar 28, 2013
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.