Skip to content
Avatar
🔑
🔑

Achievements

Achievements

Organizations

@JuliaLang @JuliaCN @microsoft @Xython @QuantumBFS @purescript-python @JuliaStaging
Block or Report

Block or report thautwarm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
thautwarm/README.md

Hi there 👋

Python       4 hrs 54 mins   ███████████████████████░░   91.34 % 
Markdown     22 mins         █▓░░░░░░░░░░░░░░░░░░░░░░░   07.07 % 
Other        3 mins          ▒░░░░░░░░░░░░░░░░░░░░░░░░   01.21 % 
  • 🔭 Currently working on JIT for dynamic programming languages.
  • 🌱 Currently learning programming languages: partial evaluation and type systems.
  • 💬 Ask me about advanced features or abstractions of programming languages(no Rust🤔)/why Julia makes a difference.
  • 😄 Pronouns: could we avoid talking about this?..
  • Fun fact: I have implemented most common programming language features in person: pattern matching, type classes, OOP classes/virtual tables/interfaces, xxx polymorphisms...

Pinned

  1. Julia functional programming infrastructures and metaprogramming facilities

    Julia 246 27

  2. A Python backend for PureScript.

    PureScript 102 1

  3. Microsoft Graph Engine

    C# 2k 286

  4. The Julia Programming Language

    Julia 33.9k 4.5k

  5. Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master

    TeX 16

  6. The Python programming language

    Python 38.4k 19.1k

1,232 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri

Contribution activity

June 2021

Created 2 repositories
1 contribution in private repositories Jun 1

Seeing something unexpected? Take a look at the GitHub profile guide.