PRL-PRG/contractr PRL-PRG/contractr

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C++
  • License
    Apache License 2.0
  • Created over 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
PRL-PRG/contractr
github

PRL-PRG

Reviews

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

Repository Details

An R πŸ“¦ to insert function argument and return type contracts

More Repositories

1

TOPLAS19_Artifact

Artifact for our TOPLAS paper On the Impact of Programming Languages on Code Quality
TeX
14
star
2

UFOs

User Fault Objects: making vectors lazy and forgetful.
C
12
star
3

R-dyntrace

A Dynamic tracing framework for R
CSS
11
star
4

dejavu-artifact

Artifact for the OOPSLA 17 DejaVu Paper
R
10
star
5

instrumentr

Instrumentation Framework for R
C++
6
star
6

injectr

R package to inject code to existing functions
R
4
star
7

scala-implicits-analysis

Analyzing the use of implicits in Scala in the wild
Scala
4
star
8

OOPSLA20-typer-artifact

Artifact for the OOPSLA 2020 paper "Designing Types for R, Empirically".
R
4
star
9

evalr-experiment

R
2
star
10

djanco

Dejacode query execution server.
Rust
2
star
11

scalafix-rule-workshop

A framework repository to create and test scalafix rules
HTML
2
star
12

prl-prg.github.io

CSS
2
star
13

r-compile-server

New R compile server
Java
2
star
14

sxpdb

Record R values
C
2
star
15

codedj-parasite

Incremental downloader for dejacode.
Rust
1
star
16

codedj-query-archive

Rust
1
star
17

pliss-rift

LLVM for dynamic languages lecture at PLISS 17
C++
1
star
18

signatr-experiment

R
1
star
19

resources

R
1
star
20

tastr

Type AST for R
C++
1
star
21

codedj-ecoop-artifact

Artifact for ECOOP 2021 paper: "CodeDJ: Reproducible Queries over Large-Scale Software Repositories."
Rust
1
star
22

docker-r-full-base

R with all native dependencies allowing to install almost any CRAN package
Shell
1
star
23

rastr

R AST Analyzer
C++
1
star
24

strictr

Making R strict by inferring laziness signatures
C++
1
star
25

promisedyntracer

Tracer for promises in R
C++
1
star
26

restrictR

C++
1
star
27

evaldyntracer

An R πŸ“¦ for tracing eval
C++
1
star
28

typeR

An R πŸ“¦ that infers and annotates types
R
1
star
29

codedj-examples-ecoop-2021

Crate executing queries form the ECOOP 2021 CodeDJ paper.
Rust
1
star