Skip to content
View ashalkhakov's full-sized avatar

Organizations

@ats-lang
Block or Report

Block or report ashalkhakov

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

Pinned

  1. ATS-playground ATS-playground Public

    ATS2 proofs of concept stuff

    ATS 7

  2. cfgtools cfgtools Public

    Context-free grammar tools

    ATS

  3. urweb-misc urweb-misc Public

    Miscellaneous code written in Ur/Web

    UrWeb

  4. urweb-storage urweb-storage Public

    Local storage support for Ur/Web

    UrWeb 1

  5. atscntrb-as-ats3d atscntrb-as-ats3d Public

    3D vector algebra library for ATS

    ATS 8 2

  6. ATStead ATStead Public

    A modeless structure editor

    ATS 1