镜像站点 · 本页由第三方 GitHub 只读镜像提供，非 GitHub 官方站点，不接受任何登录或凭据输入。前往 github.com
Skip to content
View cristianoc's full-sized avatar
325 followers · 6 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Block or report cristianoc

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. TScert TScert Public

    TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

    TypeScript 137 3

  2. genTypeScript genTypeScript Public

    Auto generation of type-safe bindings between Reason and Typescript.

    74 1

  3. REInfer REInfer Public

    Runtime Extended Inference for json data.

    Reason 22 1

  4. arc-agi-2-abstraction-dataset arc-agi-2-abstraction-dataset Public

    Collection of ARC-AGI-2 solvers and abstractions produced by refinement

    Python 10 1

  5. arc-challenge arc-challenge Public

    Python 8

  6. reanalyze-esy-example reanalyze-esy-example Public

    Example native project for reanalyze which builds with esy.

    Reason 6