Cloudifold

Cloudifold's Stars

• hindupuravinash/the-gan-zoo

  A list of all named GANs!

  Language:Python14.4k569352.6k

• rime/home

  Rime::Home is home to Rime users and developers

  Language:CSS4.3k1121.2k235

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k665.6k365

• moesoha/debian-media-box

  “Debian 小药盒”，一个用来包装 Debian 安装介质的盒子设计和介绍用的说明书。

  Language:TeX1.1k92063

• project-trans/MtF-wiki

  MtF.wiki is a free, open, and continuously updating transgender female knowledge integration site.

  Language:Markdown85227220209

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda46128243141

• KristallWang/Transgender-lost-years

  We lost the year of grow from a little girl to a woman. We lost teen-years. So, we have to learn.

  356342251

• mattearnshaw/lawvere

  The collected works of F. W. Lawvere

  32624235

• Trebor-Huang/history

  History of type theory (Chinese).

  Language:TeX32610610

• alexeygumirov/pandoc-beamer-how-to

  Language:TeX2530555

• gallais/agdarsec

  Total Parser Combinators in Agda

  Language:Agda12441210

• mvr/at

  Effective Algebraic Topology in Haskell

  Language:Haskell88503

• mortberg/yacctt

  yacctt: Yet Another Cartesian Cubical Type Theory

  Language:Haskell741228

• fredefox/cat

  A formalization of category theory in cubical Agda

  Language:Agda57324

• reaslab/jixia

  A static analysis tool for Lean 4.

  Language:Lean50200

• stefan-hoeck/idris2-sop

  Idris port of Haskell's sop-core library

  Language:Idris33433

• sxysxy/VisualGensokyo

  Identifying pictures of Touhou project characters by Nerual Networks. 使用神经网络辨认东方project角色的图片

  Language:Python33211

• SpectralSequences/sseq

  The root repository for the SpectralSequences project.

  Language:Rust2677811

• wormzjl/Project-PFAA

  Support repo for the pack

  Language:ZenScript2172810

• PhotonQuantum/hithit_bot

  打打 bot

  Language:Rust14230

• FR-vdash-bot/transcendental

  Lindemann–Weierstrass Theorem

  Language:Lean11100

• TimRichter/CId

  a little category theory in Idris

  Language:Idris10300

• WayneLin92/SSeqCpp

  This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner basis.

  Language:C++5214

• sillycat2/sillycat2

  两个可爱的女孩子

  4210

• SleepyFermion/2023QCDLectureNotes

  410

• tonyxty/FreeCell.lean

  A verified implementation of FreeCell written in Lean 4.

  Language:Lean4100

• pouiyter/MinimalResolution

  Minimal resolution algorithm for Adams-Novikov E2 term

  Language:C++34

• sillycat2/sillycat2.github.io

  水水水

  Language:JavaScript3100

• aclemen1/EMM

  The Eilenberg-MacLane Machine (EMM)

  Language:C++2201

• WayneLin92/pygroebner

  A package for groebner basis over prime 2 implemented in python

  Language:Python110