Skip to content
View TimWhiting's full-sized avatar

Highlights

  • Pro

Organizations

@koka-community

Block or report TimWhiting

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
TimWhiting/README.md

Hi 👋, You've reached Tim Whiting's GitHub Profile

About Me

  • 🔭 I’m currently working on: My PhD Research, along with a few fun side projects
  • 🌱 I’m currently learning: Languages, Control Flow Analysis
  • 💬 Ask me about: Koka, Control Flow Analysis, Dart, Flutter
  • 📫 How to reach me: Add an issue on one of my repositories, ideally one of the ones that you are interested in collaborating or knowing more about.

Personal Website

.... TODO: .....

Pinned Loading

  1. koka koka Public

    Forked from koka-lang/koka

    Koka language compiler and interpreter

    Haskell

  2. koka-lang/koka koka-lang/koka Public

    Koka language compiler and interpreter

    Haskell 3.3k 167

  3. UserNobody14/tree-sitter-dart UserNobody14/tree-sitter-dart Public

    Attempt to make a tree-sitter grammar for dart

    Dart 66 39

  4. rrousselGit/riverpod rrousselGit/riverpod Public

    A reactive caching and data-binding framework. Riverpod makes working with asynchronous code a breeze.

    Dart 6.4k 961

  5. ros2dart/dartros1 ros2dart/dartros1 Public

    A ROS1 client library for dart

    Dart 20 11