frroossst / TypeLoom Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Weaving LSP-based Optional Typing into Dynamic Languages

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
assets		assets
ceph_db		ceph_db
docs		docs
lsp-server		lsp-server
paper		paper
research		research
snippets		snippets
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
paper.pdf		paper.pdf

Repository files navigation

TypeLoom

Weaving Pluggable LSP based Gradual and Optional typing into dynamic languages

Demonstration

Paper
Demo GIFs

Architecture

About

Weaving LSP-based Optional Typing into Dynamic Languages

Report repository

Releases

No releases published

Packages

No packages published

Languages