Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ecoop2020

A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Stars
5
License
gpl-3.0
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
Coq
Categories
Repo
Alternatives To Ecoop2020
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Fcpp10
9 months ago2apache-2.0C++
C++ library implementing efficiently the Field Calculus
H2agent9
5 months ago3otherC++
C++ HTTP/2 Mock Service which enables mocking other network services
Ecoop20205
3 years agogpl-3.0Coq
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Alternatives To Ecoop2020
Select To Compare


Suggest An Alternative To ECOOP2020
Alternative Project Comparisons
Ecoop2020 vs Fcpp
Ecoop2020 vs H2agent
Popular Calculus Projects
Popular Docker Projects
Moby ⭐ 67,871
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
dependent packages 7,349total releases 849latest release November 13, 2023most recent commit 2 days ago
Excalidraw ⭐ 66,345
Virtual whiteboard for sketching hand-drawn like diagrams
dependent packages 49total releases 295latest release December 06, 2023most recent commit 4 months agonpm @excalidraw/excalidraw} 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.
Docker
Coq
Calculus
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.