ilanashapiro (Ilana Shapiro) · GitHub
Skip to content
View ilanashapiro's full-sized avatar
4 followers · 1 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report ilanashapiro

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. 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

Pinned Loading

  1. z3 z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++

  2. stg_optimization stg_optimization Public

    Python 2

  3. lean-server lean-server Public

    Lean verification server based on Kimina server + Generating Lean annotated data for SFT and RL fine tuning

    Python 1

  4. MusAssist MusAssist Public

    TeX 8

  5. prism prism Public

    Forked from stoplightio/prism

    Turn any OpenAPI2/3 and Postman Collection file into an API server with mocking, transformations and validations.

    TypeScript

  6. ilanashapiro.github.io ilanashapiro.github.io Public template

    Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

    JavaScript