Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Bravo

Castle Bravo: Experimental HoTT Implementation
Stars
6
License
No license specified
Open Issues
0
Most Recent Commit
10 months ago
Programming Language
OCaml
Categories
Repo
Alternatives To Bravo
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 9 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 bravo
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Ocaml Proof Assistant
Dependent Types Proof Assistant
Ocaml Dependent Types
Ocaml Typechecker
Dependent Types Typechecker
Dependent Types Theorem Prover
Proof Assistant Theorem Prover
Homotopy Type Theory Univalent Foundations
Dependent Types Mltt
Typechecker Proof Assistant

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