kevinwatkins

kevinwatkins's Stars

• jik876/hifi-gan

  HiFi-GAN: Generative Adversarial Networks for Efficient and High Fidelity Speech Synthesis

  Language:Python1.9k500

• Akshay090/colab-cli

  ✨Experience better workflow with google colab, local jupyter notebooks and git

  Language:Python12714

• rowanz/grover

  Code for Defending Against Neural Fake News, https://rowanzellers.com/grover/

  Language:Python914223

• tensorflow/mesh

  Mesh TensorFlow: Model Parallelism Made Easier

  Language:Python1.6k254

• UniMath/TypeTheory

  The mathematical study of type theories, in univalent foundations

  Language:Coq11221

• UniMath/UniMath

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

  Language:Coq952172

• TheoWinterhalter/formal-type-theory

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

  Language:Coq904

• mattearnshaw/lawvere

  The collected works of F. W. Lawvere

  31131

• Andromedans/andromeda

  A proof assistant for general type theories

  Language:OCaml29734

• mikeshulman/catlog

  Categorical logic from a categorical point of view

  Language:TeX759

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml41475

• mortberg/cubicaltt

  Experimental implementation of Cubical Type Theory

  Language:Haskell56776

• avigad/polya

  A heuristic procedure for proving inequalities

  Language:Python316

• simhu/cubical

  Implementation of Univalence in Cubical Sets

  Language:Haskell14410