Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Vstyle

A style guide for Coq
Suggest An Alternative To vstyle
Popular Coq Projects
Popular Styleguide Projects
Javascript ⭐ 140,845
JavaScript Style Guide
dependent packages 47,818total releases 61latest release December 25, 2021most recent commit a month agonpm eslint-config-airbnb} Downloads
Storybook ⭐ 82,759
Storybook is a frontend workshop for building UI components and pages in isolation. Made for UI development, testing, and documentation.
dependent packages 26,487total releases 1,044latest release December 02, 2023most recent commit 4 days agonpm @storybook/addon-essentials} Downloads
Styleguide ⭐ 36,134
Style guides for Google-originated open-source projects
total releases 5latest release March 13, 2016most recent commit 3 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
C Ocaml
C Haskell
Ocaml Coq
Haskell Ocaml
Haskell Coq
Haskell Dependent Types
Coq Proof Assistant
Coq Formal Verification
Coq Dependent Types
C Formal Verification

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Haskell
Ocaml
Styleguide
Coq
Dependent Types
Formal Methods
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.