Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Lvca

language verification, construction, and analysis
Stars
15
License
mit
Open Issues
8
Most Recent Commit
2 years ago
Programming Language
OCaml
Categories
Site
Repo
Alternatives To Lvca
Select To Compare
Closure Compiler ⭐ 7,175
A JavaScript checker and optimizer.
dependent packages 180total releases 135most recent commit 3 months ago
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 973total releases 928most recent commit a year agonpm ts-toolbelt} Downloads
Ow ⭐ 3,740
Function argument validation for humans
dependent packages 457total releases 44most recent commit 10 months agonpm ow} Downloads
Tcomb ⭐ 1,883
Type checking and DDD for JavaScript
dependent packages 276total releases 74most recent commit 5 years agonpm tcomb} Downloads
Rbs ⭐ 1,825
Type Signature for Ruby
dependent packages 59total releases 104most recent commit 3 months agorubygems rbs} Downloads
Result ⭐ 1,198
A simple Rust like Result type for Python 3. Fully type annotated.
dependent packages 43total releases 23most recent commit 3 months agopypi result} Downloads


Suggest An Alternative To lvca
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Language Ocaml
Ocaml Programming Language
Language Type Checking
Ocaml Type Checking
Programming Language Type Checking

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