Giters
pllab

pllab

Geek Repo

Github PK Tool:Github PK Tool

pllab's repositories

type-refine

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

Language:JavaScriptLicense:NOASSERTIONStargazers:7Issues:18Issues:1

scheme2beam

Source compiler from Scheme to BEAM VM.

Language:OCamlStargazers:4Issues:13Issues:3

cs162-tutorials

Tutorials for Fall 2018

Language:ScalaStargazers:3Issues:3Issues:3

CoSA

CoreIR Symbolic Analyzer

Language:PythonLicense:NOASSERTIONStargazers:2Issues:1Issues:0

icfp2013

Tunable Control-Flow Sensitivity for Program Analysis

Language:HaskellStargazers:2Issues:16Issues:0

BD-PyRTL-RV

Ben D's PyRTL RISC-V

Language:AssemblyStargazers:1Issues:0Issues:0

CS162-regex

Language:ScalaStargazers:1Issues:16Issues:0

embedded-class-riscv

PyRTL generator for embedded-class RISC-V cores

Language:AssemblyStargazers:1Issues:0Issues:0

latte22-demo

Language:RacketStargazers:1Issues:13Issues:0

pipelined-alu

Language:PythonStargazers:1Issues:13Issues:0

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.

Language:PythonLicense:BSD-3-ClauseStargazers:1Issues:1Issues:2

signature-inference

Implementation of our CGO 2014 paper.

Language:ScalaStargazers:1Issues:16Issues:1

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:13Issues:0

grammy

An adventure in categorial grammars!

Language:ScalaStargazers:0Issues:14Issues:2

sexp-cpp

A S-Expression Parser for C++

Language:C++License:GPL-3.0Stargazers:0Issues:13Issues:0

cats

Category theory reading group @ pllab@UCSB

Language:HTMLStargazers:0Issues:15Issues:0

CS162-Winter2018-Assignment2

Language:C++Stargazers:0Issues:13Issues:0

games

Scheduling for board games and roleplaying sessions hosted by the PL Lab!

Language:HTMLStargazers:0Issues:15Issues:0

lab06_starter_code

Language:JavaLicense:MITStargazers:0Issues:14Issues:0

Lava-Testing

Playing with various versions of Lava

Language:C++Stargazers:0Issues:16Issues:0

LLHD-Testing

Stargazers:0Issues:15Issues:0

measure-tool

A tool for measuring memory consumption in the JVM

Language:C++Stargazers:0Issues:14Issues:0

OPDB

OpenPiton Design Benchmark

Language:VerilogStargazers:0Issues:1Issues:0

scala.g8

A basic Scala g8 template for CS162

Language:ScalaStargazers:0Issues:17Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:13Issues:0