kikofernandez/Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
Implementation of the Match application for the course: Advance Software Design
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Classic Algorithm W for type inference.
Terminal based Match application for the Advanced Software Design course at Uppsala Univeristy
Implementations of various type systems in OCaml.
NO LONGER MAINTAINED! Generate a burndown chart from trello tasks