Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Promising Coq

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Stars
23
License
mit
Open Issues
5
Most Recent Commit
4 years ago
Programming Language
Coq
Categories
Site
Repo
Alternatives To Promising Coq
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Perennial121
4 months ago6mitCoq
Verifying concurrent crash-safe systems
Promising Coq23
4 years ago5mitCoq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Fcsl Pcm22
a year ago1apache-2.0Coq
Partial Commutative Monoids
Alternatives To Promising Coq
Select To Compare
Fcsl Pcm ⭐ 22
Partial Commutative Monoids
most recent commit a year ago


Suggest An Alternative To promising-coq
Alternative Project Comparisons
Promising Coq vs Perennial
Promising Coq vs Fcsl Pcm
Popular Concurrency Projects
Yew ⭐ 29,821
Rust / Wasm framework for creating reliable and efficient web applications
dependent packages 202total releases 38latest release September 29, 2023most recent commit 21 days agocargo yew} Downloads
Ava ⭐ 20,617
Node.js test runner that lets you develop with confidence 🚀
dependent packages 33,632total releases 112latest release December 06, 2023most recent commit 20 days agonpm ava} Downloads
Swoole Src ⭐ 18,121
🚀 Coroutine-based concurrency library for PHP
total releases 178latest release November 26, 2023most recent commit 3 months ago
Disruptor ⭐ 16,728
High Performance Inter-Thread Messaging Library
dependent packages 1,098total releases 29latest release September 29, 2023most recent commit 4 months ago
Vert.x ⭐ 13,923
Vert.x is a tool-kit for building reactive applications on the JVM
dependent packages 686total releases 141latest release November 15, 2023most recent commit 3 months ago
Popular Coq Projects
Popular Control Flow Categories
Stream
Thread
Promise
Series
Webhook
Daemon
Parallel
Reactive
Rxjava
Cron
Related Searches
Thread Concurrency
Thread Shared Memory
Concurrency Coq
Concurrency Shared Memory
Concurrency Promising Semantics
Coq Promising Semantics

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