Pinned Repositories
10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
augur
Performant taint analysis for Node.js
CanItEdit
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
gradual-typing-performance
hopl-s2017
History of Programming Languages, Spring 2017
MultiPL-E
A multi-programming language benchmark for LLMs
Ocelot
An IDE for JavaScript, without the "bad parts".
PromiseKeeper
Finding Broken Promises in Asynchronous JavaScript Programs
Stopify
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
website
Source for PRL website
nuprl's Repositories
nuprl/10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
nuprl/MultiPL-E
A multi-programming language benchmark for LLMs
nuprl/Stopify
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
nuprl/PromiseKeeper
Finding Broken Promises in Asynchronous JavaScript Programs
nuprl/augur
Performant taint analysis for Node.js
nuprl/CanItEdit
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
nuprl/Ocelot
An IDE for JavaScript, without the "bad parts".
nuprl/website
Source for PRL website
nuprl/gradual-typing-performance
nuprl/MultiPL-T
Knowledge transfer from high-resource to low-resource programming languages for Code LLMs
nuprl/TypeWeaver
Artifact for the ECOOP 2023 paper: Do Machine Learning Models Produce TypeScript Types that Type Check?
nuprl/ElementaryJS
JavaScript without the sharp edges
nuprl/gtp
NSF grant website
nuprl/nuprl.github.io-archive
Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to
nuprl/retic_performance
Performance evaluation of Reticulated Python
nuprl/tag-sound
Source for "A Spectrum of Type Soundness and Performance", ICFP 2018
nuprl/jankscripten
nuprl/prl-seminar-junior
PRLSeminar, Junior: information, materials, schedule
nuprl/TypeWhich
Customizable, solver-based type migration for the gradually-typed lambda calculus.
nuprl/formalizations-in-agda
nuprl/gfd-oopsla-2019
Paper, proofs, and code for "Complete Monitors for Gradual Types"
nuprl/softscheme-web
nuprl/StenoType
Type migration with large language models for code. Migrates JavaScript to TypeScript by predicting type annotations and generating type definitions.
nuprl/wimpl
nuprl/220.ocelot-ide.org
GitHub Pages target for Ocelot with the legacy backend. This hosts COMPSCI220 accounts from Fall 2018 to Fall 2020.
nuprl/code.ocelot-ide.org
GitHub Pages target for Ocelot with the current backend. This will host accounts from Spring 2021 onwards.
nuprl/dissertation
PhD dissertation, Khoury College, Northeastern University, 2020
nuprl/donald-paper-template
nuprl/openai-caching-proxy
nuprl/video-lang