bobatkey/qtt-models bobatkey/qtt-models

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    TeX
  • License
    Other
  • Created about 1 year ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bobatkey/qtt-models
github

bobatkey

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formalisations of interesting models of QTT

More Repositories

1

sott

Simplified Observational Type Theory
OCaml
79
star
2

modulog

A Datalog implementation with an OCaml inspired module system
OCaml
43
star
3

CS316-19

The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
Haskell
41
star
4

ocamlmvc

An MVC library for writing interactive webpages in OCaml
OCaml
35
star
5

CS316-18

The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course
Haskell
31
star
6

agda-metric-reals

Agda
28
star
7

foveran

A Dependently Typed Programming Language
Haskell
27
star
8

unboxed

Unboxed arrays for OCaml
OCaml
26
star
9

CS316-2020

The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
Haskell
25
star
10

CS316-2022

Materials for the 2022-2023 edition of CS316 "Functional Programming"
Haskell
23
star
11

system-f-parametricity-model

A Model of Relationally Parametric System F in Coq
Coq
22
star
12

CS316-17

The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
Haskell
21
star
13

interactive-natural-deduction

An editor for interactively building natural deduction proofs
OCaml
20
star
14

sorting-types

Typed DSLs for sorting
Agda
19
star
15

playtime

An OCaml EDSL for describing and solving strategic games
OCaml
17
star
16

authenticated-data-structures

An implementation of generic authenticated data structures in OCaml
OCaml
16
star
17

algebraically-indexed-types

Repository for documents and experiments to do with algebraically-indexed types
TeX
13
star
18

Forvie

Some Programming Language Description and Processing Tools in Haskell
Haskell
6
star
19

array-mapped-trie

An Array Mapped Trie implementation in OCaml
OCaml
5
star
20

semantic-cut-elimination

Cut-elimination by Semantic Means
Agda
5
star
21

ppx-monoid

OCaml
3
star
22

acfg-parser

Parser for Active Context Free Grammars
Haskell
3
star
23

pretty-monospace

An OCaml pretty-printing library for monospaced text
OCaml
3
star
24

parser-combinators-intro

Slides for an introductory talk on Parser Combinators
Haskell
2
star
25

ppx-markdown

OCaml PPX extension for including markdown in OCaml source files
OCaml
2
star
26

CS316-2021

The 2021/22 edition of Strathclyde's Functional Programming course in Haskell
Haskell
2
star
27

polly

A simple language for services
OCaml
2
star
28

clocked-types

2
star
29

camlcheck

An OCaml QuickCheck clone
OCaml
1
star
30

access_log

OCaml
1
star
31

ulmus

Ulmus
OCaml
1
star
32

approx-diff

Approximation as Differentiation
Agda
1
star
33

Inductors

Notes and implementations of inductors
1
star