Trebor Huang (Trebor-Huang)

Trebor-Huang

Geek Repo

Location:Internal cat of a doughnut

Github PK Tool:Github PK Tool

Trebor Huang's repositories

history

History of type theory (Chinese).

combinator-nbe

Normalization by evaluation of simply typed combinators.

Language:AgdaLicense:GPL-3.0Stargazers:26Issues:3Issues:1

Down-The-Path

Spartan implementation of H.O.T.T.

Language:PythonLicense:GPL-3.0Stargazers:25Issues:5Issues:0

ice1000

🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟

vscode-btex

VSCode extension for bTeX.

Language:TypeScriptLicense:MITStargazers:20Issues:2Issues:24

vscode-forester

VSCode support for Forester

Language:XSLTStargazers:9Issues:0Issues:0

forest

My forest.

Language:ShellStargazers:8Issues:4Issues:0

clock

The clock from Rain World as an OS X desktop widget

Language:PythonLicense:MITStargazers:7Issues:1Issues:0

elementary

Elementary functions in Lean

Language:LeanStargazers:4Issues:2Issues:0

at

Effective Algebraic Topology in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:1Issues:0

hexo-banana-forest

A hexo plugin for foresting.

Language:TypeScriptStargazers:3Issues:3Issues:0

CFG-Challenge

A challenge for proof assistants about a particular context-free language.

Language:AgdaStargazers:2Issues:2Issues:0

Numerical-Analysis-Homework

Homework repository for Numerical Analysis course.

Language:TeXStargazers:2Issues:2Issues:0

stiff-second-order-bvp

A robust adaptive algorithm for stiff second order boundary value problems

Language:PythonStargazers:1Issues:2Issues:0

agda-categories

A new Categories library for Agda

Language:AgdaLicense:MITStargazers:0Issues:1Issues:0

agda-mode-vscode

agda-mode on VS Code

Language:ReScriptLicense:MITStargazers:0Issues:1Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0
Language:CLicense:MPL-2.0Stargazers:0Issues:1Issues:0

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

cubical-classics

An attempt towards univalent classical mathematics in Cubical Agda.

Language:AgdaStargazers:0Issues:1Issues:0

KaTeX

Fast math typesetting for the web.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

LieSphereGeometry

An HTML demo for Lie Sphere Geometry

Language:TypeScriptStargazers:0Issues:2Issues:0

musescore-microtonal-edo-plugin

Microtonal MuseScore plugin to retune notes in any EDO

Language:QMLLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

nbe-for-mltt

Normalization by Evaluation for Martin-Löf Type Theory

Language:OCamlStargazers:0Issues:1Issues:0
Language:AgdaStargazers:0Issues:2Issues:0
Language:AgdaStargazers:0Issues:1Issues:0

Techmino

Techmino is fun! Techmino方块研究所唯一官方仓库

Language:LuaLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

Trebor-Huang.github.io

Personal Website

Language:JavaScriptStargazers:0Issues:2Issues:0