Explore @nuprl Open Source projects

Northeastern University Programming Research Lab (@nuprl)

nuprl

Stars
1,547
Global Org. Rank 11,266 (Top 4 %)
Registered about 11 years ago
Most used languages

Racket
18.2 %

JavaScript
13.6 %

TypeScript
13.6 %

Scheme
13.6 %

Rust
13.6 %

Python
9.1 %

HTML
9.1 %

TeX
9.1 %
Location 🇺🇸 United States
Country Total Rank 6,513
Country Ranking

Racket
81

TeX
169

Scheme
190

TypeScript
4,389

JavaScript
4,406

Rust
4,713

Python
5,333

10PL

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

Stopify

A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.

MultiPL-E

A multi-programming language benchmark for evaluating the performance of large language model of code.

hopl-s2017

History of Programming Languages, Spring 2017

PromiseKeeper

Finding Broken Promises in Asynchronous JavaScript Programs

augur

Performant taint analysis for Node.js

CanItEdit

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

Ocelot

An IDE for JavaScript, without the "bad parts".

website

Source for PRL website

gradual-typing-performance

softscheme

Andrew Wright's soft type system for R4 Scheme

ElementaryJS

JavaScript without the sharp edges

TypeWeaver

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

gtp

NSF grant website

nuprl.github.io-archive

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

tag-sound

Source for "A Spectrum of Type Soundness and Performance", ICFP 2018

retic_performance

Performance evaluation of Reticulated Python

jankscripten

prl-seminar-junior

PRLSeminar, Junior: information, materials, schedule

TypeWhich

Customizable, solver-based type migration for the gradually-typed lambda calculus.

gfd-oopsla-2019

Paper, proofs, and code for "Complete Monitors for Gradual Types"

wimpl

formalizations-in-agda

fsp-benchmarks

softscheme-web

prl-website

The website renderer for the Programming Research Laboratory at Northeastern University