arjunguha/rehearsal-pldi2016-aec arjunguha/rehearsal-pldi2016-aec

  • This repository has been archived on 17/Apr/2022
  • Stars
    star
    1
  • Language
    Scala
  • License
    BSD 3-Clause "New...
  • Created almost 11 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arjunguha/rehearsal-pldi2016-aec
github

arjunguha

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A configuration verification tool for Puppet

More Repositories

1

haskell-couchdb

Haskell bindings for CouchDB
Haskell
33
star
2

ocaml-z3

OCaml
16
star
3

ocaml-docker

OCaml interface to the Docker API
OCaml
9
star
4

Deliciousync

A tool to synchronize Delicious and Safari bookmarks
Objective-C
6
star
5

ilvm

Rust
5
star
6

BigCode-demos

Jupyter Notebook
4
star
7

docker-grader

Docker based grader and demo of ocaml-docker
OCaml
3
star
8

longbench

Jupyter Notebook
2
star
9

pliss2019

TeX
2
star
10

compsci220-scala

COMPSCI 220 (Fall 2014 -- Spring 2018)
TeX
2
star
11

cloudflare-dyndns

A dynamic DNS client for CloudFlare
Rust
1
star
12

stopify.org

Stopify technical demo website
TypeScript
1
star
13

spg

Simple photo gallery
Rust
1
star
14

moyix-codegen-fastertransformer

Python
1
star
15

batched_lm_generation

Python
1
star