Javascript-based implementations of Source, written in Typescript
github.com/source-academy/js-slang
source-academy/js-slang