Skip to content
Change the repository type filter

All

    Repositories list

    • MultiPL-E

      Public
      A multi-programming language benchmark for LLMs
      Python
      Other
      3820790Updated Nov 18, 2024Nov 18, 2024
    • website

      Public
      Source for PRL website
      Racket
      GNU General Public License v2.0
      321860Updated Nov 18, 2024Nov 18, 2024
    • Performance evaluation of Reticulated Python
      Racket
      MIT License
      1340Updated Oct 22, 2024Oct 22, 2024
    • MultiPL-T

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

      Public
      Performant taint analysis for Node.js
      JavaScript
      Universal Permissive License v1.0
      144901Updated Aug 7, 2024Aug 7, 2024
    • CanItEdit

      Public
      Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
      Python
      54010Updated 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
      121733516Updated 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
      0000Updated 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
      0500Updated Mar 11, 2024Mar 11, 2024
    • Ocelot

      Public archive
      An IDE for JavaScript, without the "bad parts".
      TypeScript
      GNU Lesser General Public License v3.0
      43070Updated Jun 16, 2023Jun 16, 2023
    • donald-paper-template

      Public template
      TeX
      MIT License
      0000Updated May 6, 2023May 6, 2023
    • TypeScript
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 30, 2023Mar 30, 2023
    • Rust
      Other
      12214Updated Jan 20, 2023Jan 20, 2023
    • wimpl

      Public
      Rust
      MIT License
      0100Updated Jan 13, 2023Jan 13, 2023
    • JavaScript without the sharp edges
      TypeScript
      BSD 3-Clause "New" or "Revised" License
      541811Updated Dec 13, 2022Dec 13, 2022
    • 0100Updated 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
      1200Updated Apr 20, 2022Apr 20, 2022
    • Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to
      HTML
      GNU General Public License v2.0
      10300Updated Jul 4, 2021Jul 4, 2021
    • GitHub Pages target for Ocelot with the current backend. This will host accounts from Spring 2021 onwards.
      JavaScript
      0000Updated May 13, 2021May 13, 2021
    • Scheme
      GNU General Public License v2.0
      0100Updated May 4, 2021May 4, 2021
    • PhD dissertation, Khoury College, Northeastern University, 2020
      Racket
      1000Updated 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
      0000Updated Jan 17, 2021Jan 17, 2021
    • PRLSeminar, Junior: information, materials, schedule
      0200Updated Oct 2, 2020Oct 2, 2020
    • tag-sound

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

      Public
      10 papers that all PhD students in programming languages ought to know, for some value of 10
      2989601Updated Nov 12, 2019Nov 12, 2019
    • Paper, proofs, and code for "Complete Monitors for Gradual Types"
      TeX
      Other
      0100Updated Oct 24, 2019Oct 24, 2019
    • gtp

      Public
      NSF grant website
      HTML
      3300Updated Sep 14, 2019Sep 14, 2019
    • Racket
      51011Updated Dec 15, 2018Dec 15, 2018
    • Finding Broken Promises in Asynchronous JavaScript Programs
      JavaScript
      85720Updated Oct 27, 2018Oct 27, 2018
    • Racket
      0010Updated Aug 2, 2018Aug 2, 2018