nuprl Goto Github PK

10pl

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

220.ocelot-ide.org

GitHub Pages target for Ocelot with the legacy backend. This hosts COMPSCI220 accounts from Fall 2018 to Fall 2020.

adapton.rust

Nominal Adapton in Rust

augur

Performant taint analysis for Node.js

canitedit

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

code.ocelot-ide.org

GitHub Pages target for Ocelot with the current backend. This will host accounts from Spring 2021 onwards.

cs2500-client

Handin client package Northeastern's CS2500.

cs2500-grades

cs2500-scripts

cs2500-server

dissertation

PhD dissertation, Khoury College, Northeastern University, 2020

donald-paper-template

elementaryjs

JavaScript without the sharp edges

formalizations-in-agda

fsp-benchmarks

gfd-oopsla-2019

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

gradual-typing-performance

gtp

NSF grant website

hopl-s2017

History of Programming Languages, Spring 2017

jankscripten

multipl-e

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

nuprl.github.io-archive

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

ocelot

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

openai-caching-proxy

prl-seminar-junior

PRLSeminar, Junior: information, materials, schedule

prl-website

The website renderer for the Programming Research Laboratory at Northeastern University

promisekeeper

Finding Broken Promises in Asynchronous JavaScript Programs

retic_performance

Performance evaluation of Reticulated Python

softscheme

Andrew Wright's soft type system for R4 Scheme

softscheme-web