nuprl/softscheme nuprl/softscheme

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Scheme
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nuprl/softscheme
github

nuprl

Reviews

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

Repository Details

Andrew Wright's soft type system for R4 Scheme

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

TypeWeaver

Artifact for the ECOOP 2023 paper: Do Machine Learning Models Produce TypeScript Types that Type Check?
TypeScript
5
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