Hoq Alternatives
Similar projects and alternatives to hoq
-
Sit
Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)
-
-
SonarLint
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
-
-
-
-
-
-
InfluxDB
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
-
graph-wrapper
A wrapper around the standard Data.Graph with a less awkward interface
-
agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
-
hoq reviews and mentions
We haven't tracked posts mentioning hoq yet.
Tracking mentions began in Dec 2020.
Stats
valis/hoq is an open source project licensed under GNU General Public License v2.0 only which is an OSI approved license.