The Wayback Machine - https://web.archive.org/web/20210224163936/https://github.com/ashalkhakov
Skip to content
Avatar
  • Block or report user

    Block or report ashalkhakov

    Report abuse

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

    Report abuse
39 followers · 106 following · 621

Highlights

  • Arctic Code Vault Contributor

Organizations

@ats-lang

Pinned

  1. ATS-playground

    ATS2 proofs of concept stuff

    ATS 6

  2. cfgtools

    Context-free grammar tools

    ATS

  3. urweb-misc

    Miscellaneous code written in Ur/Web

    UrWeb

  4. urweb-storage

    Local storage support for Ur/Web

    UrWeb 1

  5. atscntrb-as-ats3d

    3D vector algebra library for ATS

    ATS 9 3

  6. ATStead

    A modeless structure editor

    ATS 1

35 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri
Learn how we count contributions.
Less More

Contribution activity

January - February 2021

ashalkhakov has no activity yet for this period.