nmvdw

nmvdw's Stars

• owlbarn/owl

  Owl - OCaml Scientific Computing @ https://ocaml.xyz

  Language:OCaml1.2k45300124

• UniMath/UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  Language:Coq96657525173

• michaelt/martin-lof

  papers of Per Martin Löf

  Language:TeX760551866

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda46027243141

• EgbertRijke/HoTT-Intro

  An introductory course to Homotopy Type Theory

  Language:Agda36224328

• andrejbauer/spartan-type-theory

  Spartan type theory

  Language:OCaml2596219

• martinescardo/TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  Language:Agda236163741

• UniMath/agda-unimath

  The agda-unimath library

  Language:Agda226914770

• martinescardo/HoTT-UF-Agda-Lecture-Notes

  Lecture notes on univalent foundations of mathematics with Agda

  Language:Agda221151319

• jozefg/blott

  An experimental type checker for a modal dependent type theory.

  Language:OCaml1101703

• cemulate/the-mlab

  A wiki for collaborative work on totally legitimate "category theory"

  Language:Nearley104454

• TheoWinterhalter/formal-type-theory

  Formalising Type Theory in a modular way for translations between type theories

  Language:Coq9012194

• UniMath/Schools

  Language:Coq78151422

• AndrasKovacs/setoidtt

  Prototype implementations of systems based on setoid type theory

  Language:Haskell641631

• peterlefanulumsdaine/general-type-theories

  A (formalised) general definition of type theories

  Language:Coq5711102

• gallais/potpourri

  Where my everyday research happens

  Language:Agda521004

• andrejbauer/clerical

  Command-like expressions for real infinite-precision calculations

  Language:OCaml40702

• ayberkt/formal-topology-in-UF

  Formal Topology in Univalent Foundations (WIP).

  Language:CSS35562

• gallais/agda-sizedIO

  IO using sized types and copatterns

  Language:Agda33321

• L-TChen/FiniteSets

  Fintie Sets in Cubical Agda

  Language:Agda12300

• AndrasKovacs/qiit-generalizations

  Extending small finitary QIITs to non-small non-finitary

  Language:TeX980

• co-dan/thesis

  The Coq code for my PhD thesis

  Language:Coq4500

• LuisScoccola/cubicaltypes

  A library to reason about 1-coherent and 2-coherent diagrams and their (co)limits in Homotopy Type Theory.

  Language:Coq4500

• andrejbauer/formal-type-theory

  Formalising Type Theory in a modular way for translations between type theories

  Language:Coq340

• erupmi/tyinfer

  A HM based type inference written in Haskell

  Language:Haskell30

• mukeshtiwari/Thesis

  Repository for my Phd thesis. Finally, it's happening :)

  Language:TeX3100

• stefaniatadama/TYPES-23

  A formalisation of generalised containers in Cubical Agda

  Language:Agda3100

• amblafont/notes

  Some notes about various stuff

  Language:TeX120

• bham-nominal/UniNominalSets

  Formalisation of nominal sets in univalent foundations

  Language:Coq152

• co-dan/co-dan

  what am i doing here?

  130