Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Catt

Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
Stars
13
License
mit
Open Issues
1
Most Recent Commit
7 years ago
Programming Language
Haskell
Categories
Repo
Alternatives To Catt
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 15 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 catt
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida

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