Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with dependent-type-theory
A curated list of projects in awesome lists tagged with dependent-type-theory .
https://github.com/forked-from-1kasper/anders
Anders: Cubical Type Checker
ctt cubical-type-theory dependent-type-theory dependent-types homotopy-type-theory hott mltt proof-assistant theorem-prover type-checker type-system
Last synced: 10 Nov 2024
https://github.com/yiyunliu/mltt-consistency
Logical relation for predicative CC omega with booleans and an intensional identity type
coq coq-formalization dependent-type-theory dependent-types logical-relation
Last synced: 10 Oct 2024
https://github.com/xieyuheng/x-json
A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.
dependent-record-types dependent-type-theory dependent-types json json-schema
Last synced: 17 Dec 2024
https://github.com/forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System
dependent-type-theory dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker
Last synced: 10 Nov 2024