Topic: homotopy-type-theory Goto Github
Some thing interesting about homotopy-type-theory
Some thing interesting about homotopy-type-theory
homotopy-type-theory,My implementation of the HOTT/UF book
User: amato-gianluca
homotopy-type-theory,Trace monoids in Cubical Agda
User: annenkov
homotopy-type-theory,Two-Level Type Theory
User: annenkov
homotopy-type-theory,๐ง An indexed construction of semi-simplicial and semi-cubical types
User: artagnon
Home Page: https://artagnon.github.io/bonak
homotopy-type-theory,Formal Topology in Univalent Foundations (WIP).
User: ayberkt
homotopy-type-theory,
User: dmytromitin
homotopy-type-theory,Homotopy Type Theory and categorical algebra experiments in the style of UniMath
User: ettorealdrovandi
homotopy-type-theory,Anders: Cubical Type Checker
User: forked-from-1kasper
homotopy-type-theory,Castle Bravo: Experimental HoTT Implementation
User: forked-from-1kasper
homotopy-type-theory,Ground Zero: Lean 4 HoTT Library
User: forked-from-1kasper
homotopy-type-theory,Hurricane: HoTT-I Type System
User: forked-from-1kasper
homotopy-type-theory,A formalization of category theory in cubical Agda
User: fredefox
homotopy-type-theory,Free monoids take a price HIT
User: gergoerdi
Home Page: http://unsafePerform.IO/talks
homotopy-type-theory,HoTT exercise for my Haskell.SG meetup talk on HoTT and CTT
User: gergoerdi
homotopy-type-theory,Pragmatic importing and exporting for enterprise
User: hkailahi
homotopy-type-theory,Agda formalisation of the Introduction to Homotopy Type Theory
Organization: hott-intro
homotopy-type-theory,A Coq library for Homotopy Type Theory
Organization: hott
Home Page: http://homotopytypetheory.org/
homotopy-type-theory,Learn pure math with agda :rocket:
User: ixaxaar
Home Page: http://monoid.space
homotopy-type-theory,Homotopy Type Theory proofs in Idris
User: jaredloomis
homotopy-type-theory,WIP: Reedy fibrant diagrams in models of type theory
User: jaycech3n
homotopy-type-theory,An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
User: jaycech3n
homotopy-type-theory,Univalence from scratch in Idris
User: jdolson
homotopy-type-theory,Homotopy type theory cheatsheets to read the HoTT Book
User: jonaprieto
Home Page: https://github.com/HoTT/book
homotopy-type-theory,Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
User: jonashoefer
homotopy-type-theory,quotient types in cubical Agda
User: kcsmnt0
homotopy-type-theory,Diagnostic extension for redtt prover
User: konn
homotopy-type-theory,Fintie Sets in Cubical Agda
User: l-tchen
homotopy-type-theory,I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.
Organization: lebrancworkshop
homotopy-type-theory,Lecture notes on univalent foundations of mathematics with Agda
User: martinescardo
homotopy-type-theory,Logical manifestations of topological concepts, and other things, via the univalent point of view.
User: martinescardo
homotopy-type-theory,Write function for one type data, let it work with all sorts of variations of it
User: michaelkurowski
homotopy-type-theory,Experimental implementation of Cubical Type Theory
User: mortberg
Home Page: https://arxiv.org/abs/1611.02108
homotopy-type-theory,Experiments with Cubical Agda
User: ncfavier
Home Page: https://agda.monade.li/
homotopy-type-theory,Implementation of ideas in Homotopy Type Theory
User: profbrandon
homotopy-type-theory,๐TT
Organization: redprl
Home Page: http://www.redprl.org/
homotopy-type-theory,๐ง kado ใซใ: Cofibrations in Cartesian Cubical Type Theory
Organization: redprl
homotopy-type-theory,Dependently-typed programming language.
User: reubenhillyard
Home Page: https://reubenhillyard.github.io/beta/
homotopy-type-theory,An experimental proof assistant based on a type theory for synthetic โ-categories.
Organization: rzk-lang
Home Page: https://rzk-lang.github.io/rzk/
homotopy-type-theory,Template for a formalisation project in rzk proof assistant.
Organization: rzk-lang
homotopy-type-theory,Collection of explainatory example proofs for popular proof assistants.
User: satyendrabanjare
homotopy-type-theory,Agda files used for a survey paper on Homotopy Type Theory
User: septembraljourney
Home Page: https://github.com/septembraljourney/agda-files-survey-HoTT
homotopy-type-theory,An Agda formalization of "division by 2" in classical ZF without choice.
User: smimram
Home Page: https://smimram.github.io/div2/
homotopy-type-theory,Agda development of the paper "Set-Theoretic and Type-Theoretic Ordinals Coincide"
User: st-tt-ordinals
homotopy-type-theory,Unofficial syntax highlighting for the Arend Language for the Kakoune editor
User: stoand
homotopy-type-theory,A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Organization: the1lab
Home Page: https://1lab.dev
homotopy-type-theory,The agda-unimath library
Organization: unimath
Home Page: https://unimath.github.io/agda-unimath/
homotopy-type-theory,[ICML 2021 Long Talk] "Sparse and Imperceptible Adversarial Attack via a Homotopy Algorithm" by Mingkang Zhu, Tianlong Chen, Zhangyang Wang
Organization: vita-group
homotopy-type-theory,Moja prezentacja o Homotopicznej Teorii Typรณw na seminarium z Logiki i Teorii Typรณw
User: wkolowski
homotopy-type-theory,Personal research notes
User: wkolowski
homotopy-type-theory,IU Type Theory reading group
Organization: wonks
Home Page: https://wonks.github.io/type-theory-reading-group/
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.