Awesome Open Source

Programming Languages

Session Types Coq

Formalising session types in Coq

Categories > Mathematics > Coq

Suggest Alternative

Stars

14

License

No license specified

Most Recent Commit

5 years ago

Programming Language

TeX

Categories

Programming Languages > Types

Text Processing > Tex

Security > Session

Mathematics > Coq

Alternatives To Session Types Coq

Project Name	Stars	Downloads	Repos Using This	Packages Using This	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Coq Course	26				7 years ago			1		Coq
Coq course at Chalmers CSE
Session Types Coq	14				5 years ago					TeX
Formalising session types in Coq

Alternatives To Session Types Coq

Select To Compare

Coq Course ⭐ 26

Coq course at Chalmers CSE

most recent commit 7 years ago

Session Types Coq ⭐ 14

Formalising session types in Coq

most recent commit 5 years ago

Suggest An Alternative To session-types-coq

Alternative Project Comparisons

Session Types Coq vs Coq Course

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 Session Projects

Iris ⭐ 24,660

The fastest HTTP/2 Go Web Framework. New, modern and easy to learn. Fast development with Code you control. Unbeatable cost-performance ratio :rocket:

dependent packages 536total releases 220latest release November 05, 2023most recent commit 3 months ago

Redisson ⭐ 22,647

Redisson - Easy Redis Java client with features of In-Memory Data Grid. Sync/Async/RxJava/Reactive API. Over 50 Redis based Java objects and services: Set, Multimap, SortedSet, Map, List, Queue, Deque, Semaphore, Lock, AtomicLong, Map Reduce, Bloom filter, Spring Cache, Tomcat, Scheduler, JCache API, Hibernate, RPC, local cache ...

dependent packages 358total releases 218latest release October 24, 2023most recent commit 25 days ago

Asciinema ⭐ 12,413

Terminal session recorder 📹

dependent packages 1total releases 3latest release May 08, 2022most recent commit 3 months ago

GoFrame is a modular, powerful, high-performance and enterprise-class application development framework of Golang.

dependent packages 326total releases 542latest release December 04, 2023most recent commit 3 months ago

Tmux Resurrect ⭐ 10,374

Persists tmux environment across system restarts.

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.

Types

Tex

Session

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.