Git Product home page Git Product logo

Hi there 👋 I go by Tesla Zhang. Typical social media usernames include ice1000 or tizusa.

  • 🌱 I have a personal website, where my resume is also hosted.
  • 👨‍💻 I'm currently working on:
    • Session type research with my advisor Stephanie Balzer.
    • The Aya language with some interesting ideas. Goal: make it practical, same as Idris2!
      • The website contains installation instructions and basic tutorials. Stay tuned for more!
    • Automated theorem proving with Chase Norman.
  • 💬 Ask me about IDEs, type theories, implementation of (univalent) dependent type systems, and 3A yoyoing!

Where to find my writings

  • (graduate, English) Some academic articles are uploaded to arXiv and my research blog.

  • (graduate, 中文) Chenjing Bu is building Banana Space (香蕉空间), a modern math wiki in Chinese. I mainly contribute to type theory stuffs and related areas inspired from another contributor Trebor.

    如果您想要学习类型论，且对阅读英语感到困难，我非常推荐您浏览香蕉空间的相关板块，这些内容主要面向有一定数学背景的读者。如果您对其中的内容有疑问，请联系我。

  • (late college, 中文) Basic type theory tutorials & guides on 茶饭.

  • (mid and late college, English) Thoughts / tutorials about Agda, cubical, and PL design on the Aya website.

  • (pre and early college, 中文) Loads of low-quality contents, those can be found on 知乎 and my old blog (deleted). I strongly discourage anyone to read them -- unless you explicitly intend to humiliate me.

Fun stuffs

Visit count (since 23 Feb 2023):

Tesla Zhang‮'s Projects

a8translate icon a8translate

一个无毒的Android Studio / IntelliJ IDEA 翻译插件

agda-mode icon agda-mode

Accessing Agda's interaction mode via command line & external tactic for Agda.

algo4j icon algo4j

:horse_racing: An algorithm library using java native interface

anqur icon anqur

Elaboration with inductive types

box2d-editor-2023 icon box2d-editor-2023

This is a higher-order fork of box2d-editor. I just did some obvious right things

dekoder icon dekoder

:musical_score: A materially designed music player

dev-kt icon dev-kt

:crystal_ball: Single file Kotlin/Java IDE features in lightweight.

dialogs icon dialogs

This is a codeless and useless repo.

guest0x0 icon guest0x0

Neon lights in the night tonight and stars that shine in the open sky

intellij-zig icon intellij-zig

The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓

jimgui icon jimgui

:sparkling_heart: Pure Java binding for dear-imgui

kitikumaker icon kitikumaker

An extremely interesting Android app, playing kitiku sounds

kt2dart icon kt2dart

:flashlight: [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

learn icon learn

:books: codes written while learning them.

mapgen icon mapgen

A tiny program generates game maps

multi-school-sop icon multi-school-sop

A latex template for writing statement-of-purpose for many schools at the same time

oi-codes icon oi-codes

:closed_lock_with_key: Solutions for online code challenges. Don't be evil.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.