Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

Partial Commutative Monoids

Coq23apache-2.0

12 months ago

concurrencycoqcoq-library

A new version of GBVideoPlayer with higher resolution, 3-bit stereo PCM audio an

C85mit

5 years ago