Skip to content
View alex28sh's full-sized avatar
1 follower · 7 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Highlights

  • Pro

Block or report alex28sh

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 Loading

  1. Terms-Reduction Terms-Reduction Public

    Simple tool on Haskell for reduction terms in different strategies

    Haskell

  2. kajigor/uKanren_transformations kajigor/uKanren_transformations Public

    Haskell 3 4

  3. JetBrains-Research/verified-cogen JetBrains-Research/verified-cogen Public

    Repo for PLAN's verified code generation project

    Python 6 1

  4. JetBrains-Research/HumanEval-Dafny JetBrains-Research/HumanEval-Dafny Public

    Translating humaneval into dafny

    Dafny 4 1

  5. JetBrains-Research/HumanEval-Nagini JetBrains-Research/HumanEval-Nagini Public

    examples from HumanEval translated to Nagini

    Python 1