137 skills found · Page 1 of 5
HoTT / Coq HoTTA Coq library for Homotopy Type Theory
johnpapa / Generator HottowelYo generator that creates an Angular app via HotTowel
HoTT / HoTT AgdaDevelopment of homotopy type theory in Agda
EgbertRijke / HoTT IntroAn introductory course to Homotopy Type Theory
martinescardo / HoTTEST Summer SchoolHoTTEST Summer School materials
dgatf / MsrcMulti Sensor for RC with RP2040 - FrSky D, SmartPort, FPort, FBUS, XBUS, SRXL, IBUS, SBUS2, Multiplex Sensor Bus, Jeti Ex Bus, Jeti Ex Sensor, Hitec, ELRS/CRSF, Sanwa, Hott, SRXL2, JR DMSS, GHST
johnpapa / HotTowel AngularHotTowel with Angular (for NuGet)
martinescardo / HoTT UF Agda Lecture NotesLecture notes on univalent foundations of mathematics with Agda
hottbox / HottboxHOTTBOX: Higher Order Tensors ToolBOX.
johnpapa / Hottowel Angular TypescriptAs seen at //Build 2015 presented by Erich Gamma, Chris Dias and John Papa.
johnpapa / HotTowelJohn Papa's ASP.NET MVC SPA Template (Durandal)
thehottgame / TheHoTTGameAttracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
datehoer / HotToday今日热门新闻爬虫,today hot news spiders
fractaledmind / HottableA minimal Airtable clone built with Rails and HotWire
leanprover / Lean2Lean theorem prover version 0.2 (it supports standard and HoTT modes)
dlicata335 / Hott AgdaNo description available
rzrn / Ground ZeroGround Zero: Lean 4 HoTT Library
gebner / Hott3HoTT in Lean 3
p308945 / Hottoolc++ hotfix, find symbol addr, read and write process memory...
sinhp / HoTTLeanNo description available