Awesome Open Source

Programming Languages

Linearlogic

A simple development of linear logic in Coq.

Categories > Mathematics > Coq

Suggest Alternative

Stars

11

License

No license specified

Most Recent Commit

2 years ago

Programming Language

Coq

Categories

Community > Conference

Text Processing > Internationalization

Mathematics > Coq

Mathematics > Theorem Proving

Suggest An Alternative To LinearLogic

Popular Coq Projects

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 4 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 3 months ago

Popular Conference Projects

Awesome React Native ⭐ 33,638

Awesome React Native components, news, tools, and learning material!

most recent commit 4 months ago

Diagrams ⭐ 33,556

:art: Diagram as Code for prototyping cloud system architectures

dependent packages 38total releases 45latest release October 30, 2023most recent commit 3 months ago

pypi diagrams} Downloads

Iosched ⭐ 21,724

The Google I/O Android App

most recent commit a year ago

Jitsi Meet ⭐ 20,951

Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.

dependent packages 3total releases 8latest release November 22, 2023most recent commit 3 months ago

npm @jitsi/react-native-sdk} Downloads

A To Z Resources For Students ⭐ 16,313

✅ Curated list of resources for college students

most recent commit 4 months ago

Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Conference

Internationalization

Coq

Theorem Proving

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.