Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cdf Mech Sem

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Stars
43
License
lgpl-2.1
Open Issues
0
Most Recent Commit
10 months ago
Programming Language
Coq
Categories
Repo
Suggest An Alternative To cdf-mech-sem
Popular Coq Projects
Popular Static Analyzer Projects
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8latest release June 09, 2020most recent commit 3 months ago
Phpstan ⭐ 12,390
PHP Static Analysis Tool - discover bugs in your code without running it!
dependent packages 8,962total releases 295latest release December 01, 2023most recent commit 3 months agopackagist phpstan/phpstan} Downloads
Phpmetrics ⭐ 2,426
Beautiful and understandable static analysis tool for PHP
dependent packages 268total releases 57latest release September 15, 2023most recent commit 2 months agopackagist phpmetrics/phpmetrics} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano

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