ucsd-progsys/liquid-types-spacemacs
Spacemacs Layer for LiquidHaskell
Public GitHub Catalog
Discovered Sep 27, 2026
ucsd-progsys / ace
Ajax.org Cloud9 Editor
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10323374GitHub System ID
ucsd-progsysOrganization / User
PublicVisibility
ActiveCatalog Status
More from ucsd-progsys
ucsd-progsys/liquid-types.vim
Vim support for Liquid Types
ucsd-progsys/liquid-client
Client side web pages with text-panes that interact with liquid-server
ucsd-progsys/liquidhaskell-tutorial
Tutorial for LiquidHaskell