brainrake/lifty
elevator scheduling simulator
code example for using Idris with a libuv-based async C runtime
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
elevator scheduling simulator
Search engine for PureScript functions
Asynchronous Runtime for Idris
A Dependently Typed Functional Programming Language