Northeastern University Programming Research Lab

Boston

Pinned Repositories

10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
900 57 129
augur
Performant taint analysis for Node.js
Language:JavaScript49 11 414
CanItEdit
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
Language:Python41 6 15
hopl-s2017
History of Programming Languages, Spring 2017
Language:TeX136 58 19
MultiPL-E
A multi-programming language benchmark for LLMs
Language:Python235 15 5639
MultiPL-T
Knowledge transfer from high-resource to low-resource programming languages for Code LLMs
Language:Jupyter Notebook12 5 00
Ocelot
An IDE for JavaScript, without the "bad parts".
Language:TypeScript30 4 544
PromiseKeeper
Finding Broken Promises in Asynchronous JavaScript Programs
Language:JavaScript56 9 28
Stopify
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
Language:JavaScript173 18 15312
website
Source for PRL website
Language:Racket18 39 6331

Northeastern University Programming Research Lab's Repositories

nuprl/10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
900 57 129
nuprl/MultiPL-E
A multi-programming language benchmark for LLMs
Language:Python235 15 5639
nuprl/Stopify
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
Language:JavaScript173 18 15312
nuprl/augur
Performant taint analysis for Node.js
Language:JavaScript49 11 414
nuprl/CanItEdit
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
Language:Python41 6 15
nuprl/Ocelot
An IDE for JavaScript, without the "bad parts".
Language:TypeScript30 4 544
nuprl/website
Source for PRL website
Language:Racket18 39 6331
nuprl/MultiPL-T
Knowledge transfer from high-resource to low-resource programming languages for Code LLMs
Language:Jupyter Notebook12 5 00
nuprl/gradual-typing-performance
Language:Racket10 47 345
nuprl/TypeWeaver
Artifact for the ECOOP 2023 paper: Do Machine Learning Models Produce TypeScript Types that Type Check?
Language:TypeScript5 9 0
nuprl/ElementaryJS
JavaScript without the sharp edges
Language:TypeScript4 5 505
nuprl/gtp
NSF grant website
Language:HTML3 38 43
nuprl/nuprl.github.io-archive
Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to
Language:HTML3 47 3810
nuprl/retic_performance
Performance evaluation of Reticulated Python
Language:Racket3 8 861
nuprl/tag-sound
Source for "A Spectrum of Type Soundness and Performance", ICFP 2018
Language:Racket3 7 27
nuprl/jankscripten
Language:Rust2 7 91
nuprl/prl-seminar-junior
PRLSeminar, Junior: information, materials, schedule
2 16 0
nuprl/TypeWhich
Customizable, solver-based type migration for the gradually-typed lambda calculus.
Language:Rust2 8 01
nuprl/formalizations-in-agda
1 8 00
nuprl/gfd-oopsla-2019
Paper, proofs, and code for "Complete Monitors for Gradual Types"
Language:TeX1 8 0
nuprl/softscheme-web
Language:Scheme1 2 0
nuprl/StenoType
Type migration with large language models for code. Migrates JavaScript to TypeScript by predicting type annotations and generating type definitions.
Language:Python1 7 0
nuprl/substance-vs-style
Language:HTML1
nuprl/wimpl
Language:Rust1 7 0
nuprl/220.ocelot-ide.org
GitHub Pages target for Ocelot with the legacy backend. This hosts COMPSCI220 accounts from Fall 2018 to Fall 2020.
Language:JavaScript2 0
nuprl/code.ocelot-ide.org
GitHub Pages target for Ocelot with the current backend. This will host accounts from Spring 2021 onwards.
Language:JavaScript3 0
nuprl/codetrace
Language:Jupyter Notebook1
nuprl/dissertation
PhD dissertation, Khoury College, Northeastern University, 2020
Language:Racket1 0
nuprl/donald-paper-template
Language:TeX5 0
nuprl/openai-caching-proxy
Language:TypeScript10 0