Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: categorical-semantics
ct-gradual-typing/Grady
A Gradually Typed Functional Programming Language with Bounded Quantification
Language: Haskell - Size: 4.22 MB - Last synced: 7 months ago - Pushed: about 7 years ago - Stars: 7 - Forks: 0
xieyuheng/cat
A categorical semantics library in Agda.
Language: Agda - Size: 114 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 16 - Forks: 2
MonoidalAttackTrees/ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
Language: Agda - Size: 115 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 4 - Forks: 0
ct-gradual-typing/gradual-linear-typing
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
Language: TeX - Size: 150 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
ct-gradual-typing/Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
Language: TeX - Size: 38.4 MB - Last synced: 11 months ago - Pushed: over 6 years ago - Stars: 10 - Forks: 0
vishallama/categories-and-categorical-logic
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
Language: TeX - Size: 13.7 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
