scope-islands

(★ 10)

Papers on scope, plus Haskell code for encoding and enforcing quantifier scope islands

scope-islands Latest Version Download

Download Latest Version (.zip)

Today's picks

tabby ★ 74,042

A terminal for a more modern age

TypeScript
grafana ★ 76,340

The open and composable observability and data visualization platform. Visualize metrics,

TypeScript
caddy ★ 75,074

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

Go
electron ★ 122,628

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

C++
iptv ★ 136,273

Collection of publicly available IPTV channels from all over the world

TypeScript
yt-dlp ★ 186,032

A feature-rich command-line audio/video downloader

Python
// repository documentation