Trebor-Huang

Trebor-Huang's Stars

• mastodon/mastodon

  Your self-hosted, globally interconnected microblogging community

  Language:Ruby47.2k70611.6k7k

• Myriad-Dreamin/typst.ts

  Run Typst in JavaScriptWorld.

  Language:Rust42626626

• EverestAPI/Everest

  Everest - Celeste Mod Loader / Mod API

  Language:C#371823381

• THU-feiyue/docs

  清华大学飞跃手册

  3122220

• msp-strath/TypOS

  being an operating system for typechecking processes

  Language:Haskell1211751

• mvr/at

  Effective Algebraic Topology in Haskell

  Language:Haskell86503

• jonsterling/forest

  My mathematical Zettelkasten, created using forester.

  Language:Shell78454

• leanprover-community/con-nf

  A formal consistency proof of Quine's set theory New Foundations

  Language:Lean6617246

• 0xpapercut/wypst

  Typst math typesetting for the web.

  Language:JavaScript61562

• emilyriehl/yoneda

  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories

  Language:Lean606126

• ImperialCollegeLondon/M4P33

  M4 algebraic geometry course in Lean

  Language:Lean58935

• gheber/kenzo

  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.

  Language:Common Lisp50101428

• andrejbauer/clerical

  Command-like expressions for real infinite-precision calculations

  Language:OCaml40702

• MizarProject/system

  Language:Pascal36618

• euwbah/musescore-xen-tuner

  full xenharmonic & microtonal support for musescore! just intonation, regular temperaments, chromatic staves, bohlen pierce, anything at all

  Language:JavaScript353122

• medovina/natty

  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

  Language:OCaml35201

• HoTT/M-types

  A formalization of M-types in Agda

  Language:Agda321122

• AndrasKovacs/antifunext

  antifunext

  Language:Agda28211

• logsem/mitten_preorder

  Language:OCaml27611

• SpectralSequences/sseq

  The root repository for the SpectralSequences project.

  Language:Rust2567610

• 26F-Studio/smartbingo

  Language:Lua17132

• rahulc29/realizability

  Experiments with Realizability in Univalent Type Theory

  Language:HTML172151

• rqy2002/typst-experiment

  Some experimental Typst files.

  140

• dannypsnl/html2tree

  converts HTML to valid forester tree syntax

  Language:JavaScript9100

• alexanderkoller/typst-blinky

  Creates bibliographies in Typst with URL/DOI links

  Language:Rust7130

• fu-dietersheim/hol-falso

  The Falso axiomatic system for Isabelle/HOL

  7210

• msp-strath/bricks

  Language:Agda61700

• fredrikNordvallForsberg/diffCont

  Containers can be made into a Cartesian Differential Category

  Language:Agda5200

• rqy2002/tsing_composter

  A mod for Minecraft. Better composter.

  Language:Java1100

• traso56/ThreatVisualizer

  A music player for rainworld threats

  Language:C#1