Skip to content
View twitu's full-sized avatar

Organizations

@recursecenter @bitsacm @hkust-taco

Block or report twitu

Block user

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

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
twitu/README.md

My simple web page πŸ˜‡

πŸ§‘β€πŸŽ“ I'm working on the MLscript language at the TACO research group. It implements a sophisticated type system that infers the most general type, the principal type, for an expression.

πŸ’» I enjoy topics related compilers, type systems and programming languages implementation. On the side I contribute to open source projects in Haskell or Rust πŸ¦€.

✍️ Occasionally, I write about my projects or topics I have explored to some depth. Below are two you may find interesting.

Comments are welcome and encouraged. You can file an issue or directly comment in the commit specific file.

🎨 I explored a few blogging options but finally decided not go down that rabbit hole. Github and markdown is a "sasta, sundar, tikau" combination (trans. thrifty, beautiful and lasting) that suits me well.

Pinned Loading

  1. hkust-taco/mlscript hkust-taco/mlscript Public

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

    Scala 178 27

  2. emoji-mirror emoji-mirror Public

    Forked from joachimbbp/spritefire

    Gaze into the emoji mirror πŸͺž

    JavaScript 1

  3. rboids rboids Public

    3D simulation for a flock of boids in Rust

    Rust 29 5

  4. bot_programming bot_programming Public

    Path finding algorithm implementations

    Python 2

  5. network_programming network_programming Public

    IS F462 Network Programming course, BITS Pilani 2018

    C 1

  6. Algorithms_Part_II Algorithms_Part_II Public

    Programming assignments in Algorithms part 2 by Princeton - covering topics of Graphs, Graph Traversals and Tries

    Java 9 3