np/ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
Grunt task to download atom-shell
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
CAES Language for Synchronous Hardware
Docker recipe for viacoin
Dockerfile to run the Litecoin core daemon.