Skip to content

@nuprl Northeastern University Programming Research Lab

Change the repository type filter

All

    Repositories list

    39 repositories

    • retic_performance

      Public
      Performance evaluation of Reticulated Python
      Racket
      •
      MIT License
      •1•3•4•0•Updated Oct 22, 2024Oct 22, 2024

    • website

      Public
      Source for PRL website
      Racket
      •
      GNU General Public License v2.0
      •32•18•6•0•Updated Oct 4, 2024Oct 4, 2024

    • MultiPL-E

      Public
      A multi-programming language benchmark for LLMs
      Python
      •
      Other
      •38•199•9•0•Updated Sep 16, 2024Sep 16, 2024

    • MultiPL-T

      Public
      Knowledge transfer from high-resource to low-resource programming languages for Code LLMs
      Jupyter Notebook
      •
      Other
      •0•5•0•0•Updated Aug 27, 2024Aug 27, 2024

    • augur

      Public
      Performant taint analysis for Node.js
      nodejsjavascripttaint-analysisgraaljsnodeprof
      JavaScript
      •
      Universal Permissive License v1.0
      •14•48•0•1•Updated Aug 7, 2024Aug 7, 2024

    • CanItEdit

      Public
      Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
      Python
      •3•40•1•0•Updated Aug 6, 2024Aug 6, 2024

    • Stopify

      Public
      A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •12•170•35•16•Updated Jul 31, 2024Jul 31, 2024

    • StenoType

      Public
      Type migration with large language models for code. Migrates JavaScript to TypeScript by predicting type annotations and generating type definitions.
      Python
      •0•0•0•0•Updated Apr 25, 2024Apr 25, 2024

    • TypeWeaver

      Public archive
      Artifact for the ECOOP 2023 paper: Do Machine Learning Models Produce TypeScript Types that Type Check?
      TypeScript
      •0•5•0•0•Updated Mar 11, 2024Mar 11, 2024

    • Ocelot

      Public archive
      An IDE for JavaScript, without the "bad parts".
      TypeScript
      •
      GNU Lesser General Public License v3.0
      •4•30•7•0•Updated Jun 16, 2023Jun 16, 2023

    • donald-paper-template

      Public template
      TeX
      •
      MIT License
      •0•0•0•0•Updated May 6, 2023May 6, 2023

    • openai-caching-proxy

      Public
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 30, 2023Mar 30, 2023

    • jankscripten

      Public
      Rust
      •
      Other
      •1•2•2•14•Updated Jan 20, 2023Jan 20, 2023

    • wimpl

      Public
      Rust
      •
      MIT License
      •0•1•0•0•Updated Jan 13, 2023Jan 13, 2023

    • ElementaryJS

      Public
      JavaScript without the sharp edges
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •5•4•18•11•Updated Dec 13, 2022Dec 13, 2022

    • formalizations-in-agda

      Public
      0•1•0•0•Updated May 9, 2022May 9, 2022

    • TypeWhich

      Public archive
      Customizable, solver-based type migration for the gradually-typed lambda calculus.
      Rust
      •
      GNU General Public License v3.0
      •1•2•0•0•Updated Apr 20, 2022Apr 20, 2022

    • nuprl.github.io-archive

      Public archive
      Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to
      HTML
      •
      GNU General Public License v2.0
      •10•3•0•0•Updated Jul 4, 2021Jul 4, 2021

    • code.ocelot-ide.org

      Public
      GitHub Pages target for Ocelot with the current backend. This will host accounts from Spring 2021 onwards.
      JavaScript
      •0•0•0•0•Updated May 13, 2021May 13, 2021

    • softscheme-web

      Public
      Scheme
      •
      GNU General Public License v2.0
      •0•1•0•0•Updated May 4, 2021May 4, 2021

    • dissertation

      Public
      PhD dissertation, Khoury College, Northeastern University, 2020
      Racket
      •1•0•0•0•Updated Feb 11, 2021Feb 11, 2021

    • 220.ocelot-ide.org

      Public archive
      GitHub Pages target for Ocelot with the legacy backend. This hosts COMPSCI220 accounts from Fall 2018 to Fall 2020.
      JavaScript
      •0•0•0•0•Updated Jan 17, 2021Jan 17, 2021

    • prl-seminar-junior

      Public
      PRLSeminar, Junior: information, materials, schedule
      0•2•0•0•Updated Oct 2, 2020Oct 2, 2020

    • tag-sound

      Public
      Source for "A Spectrum of Type Soundness and Performance", ICFP 2018
      Racket
      •
      Other
      •0•3•0•0•Updated Jul 21, 2020Jul 21, 2020

    • 10PL

      Public
      10 papers that all PhD students in programming languages ought to know, for some value of 10
      29•895•0•1•Updated Nov 12, 2019Nov 12, 2019

    • gfd-oopsla-2019

      Public
      Paper, proofs, and code for "Complete Monitors for Gradual Types"
      TeX
      •
      Other
      •0•1•0•0•Updated Oct 24, 2019Oct 24, 2019

    • gtp

      Public
      NSF grant website
      HTML
      •3•3•0•0•Updated Sep 14, 2019Sep 14, 2019

    • gradual-typing-performance

      Public
      Racket
      •5•10•1•1•Updated Dec 15, 2018Dec 15, 2018

    • PromiseKeeper

      Public
      Finding Broken Promises in Asynchronous JavaScript Programs
      JavaScript
      •8•57•2•0•Updated Oct 27, 2018Oct 27, 2018

    • video-lang

      Public
      Racket
      •0•0•1•0•Updated Aug 2, 2018Aug 2, 2018