nuprl/augur nuprl/augur

  • Stars
    star
    44
  • Rank 621,388 (Top 13 %)
  • Language
    JavaScript
  • License
    Universal Permiss...
  • Created almost 4 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nuprl/augur
github

nuprl

Reviews

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

Repository Details

Performant taint analysis for Node.js

More Repositories

1

10PL

10 papers that all PhD students in programming languages ought to know, for some value of 10
878
star
2

Stopify

A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
JavaScript
168
star
3

MultiPL-E

A multi-programming language benchmark for evaluating the performance of large language model of code.
Python
164
star
4

hopl-s2017

History of Programming Languages, Spring 2017
TeX
127
star
5

PromiseKeeper

Finding Broken Promises in Asynchronous JavaScript Programs
JavaScript
55
star
6

CanItEdit

Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
Python
34
star
7

Ocelot

An IDE for JavaScript, without the "bad parts".
TypeScript
29
star
8

website

Source for PRL website
Racket
16
star
9

gradual-typing-performance

Racket
10
star
10

softscheme

Andrew Wright's soft type system for R4 Scheme
Scheme
6
star
11

ElementaryJS

JavaScript without the sharp edges
TypeScript
4
star
12

TypeWeaver

Artifact for the ECOOP 2023 paper: Do Machine Learning Models Produce TypeScript Types that Type Check?
TypeScript
4
star
13

gtp

NSF grant website
HTML
3
star
14

nuprl.github.io-archive

Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to
HTML
3
star
15

tag-sound

Source for "A Spectrum of Type Soundness and Performance", ICFP 2018
Racket
3
star
16

retic_performance

Performance evaluation of Reticulated Python
Racket
2
star
17

jankscripten

Rust
2
star
18

prl-seminar-junior

PRLSeminar, Junior: information, materials, schedule
2
star
19

TypeWhich

Customizable, solver-based type migration for the gradually-typed lambda calculus.
Rust
2
star
20

gfd-oopsla-2019

Paper, proofs, and code for "Complete Monitors for Gradual Types"
TeX
1
star
21

wimpl

Rust
1
star
22

formalizations-in-agda

1
star
23

fsp-benchmarks

1
star
24

softscheme-web

Scheme
1
star
25

prl-website

The website renderer for the Programming Research Laboratory at Northeastern University
Scheme
1
star