Skip to content
View kyouko-taiga's full-sized avatar

Block or report kyouko-taiga

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

Hi there 👋

My name is Dimi Racordon. I love coding stuff, talking about programming languages and playing Stracraft 2.

I am a researcher focusing my work on type-based approaches for memory safety. My main research interests include type systems (obviously), language design, compiler construction and virtual machine implementations. I am currently directing most of my efforts in a project called Hylo with the objective to explore the use of mutable value semantics to create a safe-by-default and fast-by-definition programming language for generic high-level systems programming.

Pinned Loading

  1. LogicKit LogicKit Public

    A Prolog-like language as a Swift Embedded Domain Specific Language.

    Swift 62 6

  2. DDKit DDKit Public

    Pure Swift library of Decision Diagrams.

    Swift 9 3

  3. Diesel Diesel Public

    A Swift library to write parsers for domain specific languages.

    Swift 13 3

  4. hylo-lang/hylo hylo-lang/hylo Public

    The Hylo programming language

    Swift 1.2k 58