Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/chobbes/typetalk

coq dependent-types formal-verification haskell idris java python types

Last synced: 4 days ago
JSON representation

Calvin Talks Types

Host: GitHub
URL: https://github.com/chobbes/typetalk
Owner: Chobbes
License: mit
Created: 2016-09-25T02:51:14.000Z (over 8 years ago)
Default Branch: master
Last Pushed: 2017-04-10T03:09:51.000Z (almost 8 years ago)
Last Synced: 2024-12-01T15:17:22.468Z (2 months ago)
Topics: coq, dependent-types, formal-verification, haskell, idris, java, python, types
Language: TeX
Size: 2 MB
Stars: 0
Watchers: 3
Forks: 0
Open Issues: 0