nuprl/TypeWeaver nuprl/TypeWeaver

  • This repository has been archived on 29/Jul/2024
  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    TypeScript
  • Created over 2 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nuprl/TypeWeaver
github

nuprl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Artifact for the ECOOP 2023 paper: Do Machine Learning Models Produce TypeScript Types that Type Check?

More Repositories

1

10PL

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

MultiPL-E

A multi-programming language benchmark for LLMs
Python
183
star
3

Stopify

A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
JavaScript
170
star
4

hopl-s2017

History of Programming Languages, Spring 2017
TeX
127
star
5

PromiseKeeper

Finding Broken Promises in Asynchronous JavaScript Programs
JavaScript
57
star
6

augur

Performant taint analysis for Node.js
JavaScript
48
star
7

CanItEdit

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

Ocelot

An IDE for JavaScript, without the "bad parts".
TypeScript
30
star
9

website

Source for PRL website
Racket
17
star
10

gradual-typing-performance

Racket
10
star
11

softscheme

Andrew Wright's soft type system for R4 Scheme
Scheme
6
star
12

ElementaryJS

JavaScript without the sharp edges
TypeScript
4
star
13

gtp

NSF grant website
HTML
3
star
14

nuprl.github.io-archive

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

retic_performance

Performance evaluation of Reticulated Python
Racket
3
star
16

tag-sound

Source for "A Spectrum of Type Soundness and Performance", ICFP 2018
Racket
3
star
17

jankscripten

Rust
2
star
18

prl-seminar-junior

PRLSeminar, Junior: information, materials, schedule
2
star
19

TypeWhich

Customizable, solver-based type migration for the gradually-typed lambda calculus.
Rust
2
star
20

gfd-oopsla-2019

Paper, proofs, and code for "Complete Monitors for Gradual Types"
TeX
1
star
21

wimpl

Rust
1
star
22

formalizations-in-agda

1
star
23

fsp-benchmarks

1
star
24

softscheme-web

Scheme
1
star
25

prl-website

The website renderer for the Programming Research Laboratory at Northeastern University
Scheme
1
star