Skip to content
View luisacicolini's full-sized avatar
🐢
🐢
56 followers · 96 following

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex4Achievement: YOLOAchievement: Pull Sharkx3Achievement: Quickdraw

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex4Achievement: YOLOAchievement: Pull Sharkx3Achievement: Quickdraw

Highlights

  • Pro

Block or report luisacicolini

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. Leanwuzla Leanwuzla Public

    Forked from hargoniX/Leanwuzla

    Connecting Bitwuzla to LeanSAT

    Lean 3

  2. TaPLean TaPLean Public

    Exercises from Types and Programming Languages in Lean

    Lean 2

  3. circt circt Public

    Forked from llvm/circt

    Circuit IR Compilers and Tools

    C++ 1

  4. docs_xdsl docs_xdsl Public

    Python 1

  5. luisacicolini.github.io luisacicolini.github.io Public

    Astro 1 2

  6. xdsl xdsl Public

    Forked from xdslproject/xdsl

    A Python compiler design toolkit.

    Python 1