An open API service aggregating public data about GitHub Sponsors.

ice1000

View JSON Representation

Type theory daisuki

Funding Links: https://github.com/sponsors/ice1000

Name: Tesla Zhang‮
Location: Pennsylvania, Gensokyo
Company: @plctlab
Kind: user
Followers: 3815
Following: 716
Total stars: 2131
Repositories count: 36
Created at: 2022-11-12T17:45:12.232Z
Updated at: 2024-05-20T14:45:57.552Z
Last synced at: 2024-05-20T14:45:56.580Z

GitHub Sponsors Profile

Selected contributions
Current focus: https://github.com/aya-prover/aya-dev
Popular libraries: https://github.com/ice1000/jimgui

Current Sponsors: 4
Past Sponsors: 5
Total Sponsors: 9

Featured Works

JetBrains/Arend

The Arend Proof Assistant

Language: Java - Stars: 695

agda/agda

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

Language: Haskell - Stars: 2519

pest-parser/intellij-pest

pest grammar file support for all JetBrains IDEs

Language: Kotlin - Stars: 35

lazyparser/weloveinterns

PLCT Lab ❤️ Interns!

Language: Makefile - Stars: 633

ice1000/jimgui

💖 Pure Java binding for dear-imgui

Language: Java - Stars: 186

Sponsors

Active Sponsors

Past Sponsors

Sponsor Breakdown

User: 8