Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Hypertypes

Hypertypes - generic programming for heterogeneous recursive types
Stars
104
License
bsd-3-clause
Open Issues
3
Most Recent Commit
9 months ago
Programming Language
Haskell
Total Releases
3
Latest Release
July 25, 2023
Categories
Repo
Alternatives To Hypertypes
Select To Compare
Typescript ⭐ 97,675
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 559,981total releases 2,904most recent commit 10 days agonpm typescript} Downloads
Mypy ⭐ 17,070
Optional static typing for Python
dependent packages 6,707total releases 112most recent commit 3 months agopypi mypy} Downloads
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit 3 months agopypi pyre-check} Downloads
Pytype ⭐ 4,464
A static type analyzer for Python code
dependent packages 107total releases 193most recent commit 3 months agopypi pytype} Downloads
Metals ⭐ 1,983
Scala language server with rich IDE features 🚀
dependent packages 60total releases 53most recent commit 3 months ago
Steep ⭐ 1,305
Static type checker for Ruby
dependent packages 41total releases 104most recent commit 3 months agorubygems steep} Downloads
Pylyzer ⭐ 1,123
A fast static code analyzer & language server for Python
dependent packages 1total releases 50most recent commit 4 months agocargo py2erg} Downloads
Sorbet Rails ⭐ 636
A set of tools to make the Sorbet typechecker work with Ruby on Rails seamlessly.
dependent packages 2total releases 44most recent commit 10 months agorubygems sorbet-rails} Downloads


Suggest An Alternative To hypertypes
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Types Haskell
Haskell Programming Language
Types Programming Language
Types Type Inference
Types Typechecker
Haskell Type Inference
Haskell Typechecker

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Haskell
Programming Language
Typechecker
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.