Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Coq Fsharp

Libraries and tools for extracting Coq code to F#
Stars
9
License
bsd-3-clause
Open Issues
2
Most Recent Commit
11 years ago
Programming Language
Coq
Categories
Repo
Alternatives To Coq Fsharp
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Perennial121
4 months ago6mitCoq
Verifying concurrent crash-safe systems
Coq Fsharp9
11 years ago2bsd-3-clauseCoq
Libraries and tools for extracting Coq code to F#
Cspec7
4 years agootherCoq
Verifying concurrent code with layers and movers
Alternatives To Coq Fsharp
Select To Compare


Suggest An Alternative To coq-fsharp
Alternative Project Comparisons
Coq Fsharp vs Perennial
Coq Fsharp vs Cspec
Popular Coq Projects
Popular Concurrent Projects
Akka ⭐ 12,864
Build highly concurrent, distributed, and resilient message-driven applications on the JVM
dependent packages 953total releases 90latest release October 15, 2020most recent commit 4 months ago
Sled ⭐ 7,522
the champagne of beta embedded databases
dependent packages 292total releases 100latest release September 11, 2023most recent commit 4 months agocargo sled} Downloads
Faster ⭐ 5,791
Fast persistent recoverable log and key-value store + cache, in C# and C++.
dependent packages 20total releases 96latest release October 16, 2023most recent commit 4 months agonuget Microsoft.FASTER.Core} 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.
Ocaml
Fsharp
Concurrent
Coq
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.