Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Hipspec

A hip inductive theorem prover!
Stars
81
License
gpl-3.0
Open Issues
4
Most Recent Commit
3 years ago
Programming Language
Haskell
Categories
Site
Repo
Alternatives To Hipspec
Select To Compare
Act ⭐ 46,895
Run your GitHub Actions locally 🚀
dependent packages 11total releases 188most recent commit 5 months ago
Cobra ⭐ 34,923
A Commander for modern Go CLI interactions
dependent packages 27,594total releases 79most recent commit 5 months ago
Commander.js ⭐ 25,701
node.js command-line interfaces made easy
dependent packages 79,241total releases 112most recent commit 5 months agonpm commander} Downloads
Grpc Gateway ⭐ 17,020
gRPC to JSON proxy generator following the gRPC HTTP spec
dependent packages 7,098total releases 399most recent commit 5 months ago
Zoxide ⭐ 13,264
A smarter cd command. Supports all major shells.
total releases 30most recent commit 5 months ago
Mosh ⭐ 11,875
Mobile Shell
total releases 1most recent commit 9 months ago
Opencv4nodejs ⭐ 4,729
Nodejs bindings to OpenCV 3 and OpenCV 4
dependent packages 49total releases 120most recent commit a year agonpm opencv4nodejs} Downloads


Suggest An Alternative To hipspec
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Flags
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.