Skip to content
View nadia-polikarpova's full-sized avatar
234 followers · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@TyGuS
Block or Report

Block or report nadia-polikarpova

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

Stars

Type: All
Language
Sort by: Recently starred
Showing results

ucsd-cse230 / 03-transformers

Starter code for assignment 03-transformers

Haskell 1 3 Updated Nov 21, 2023

ucsd-progsys / liquidhaskell

Liquid Types For Haskell

Haskell 1,171 132 Updated Aug 2, 2024

nadia-polikarpova / language-eiffel

Forked from scottgw/language-eiffel
Haskell 1 Updated Feb 25, 2012

scottgw / language-eiffel

Eiffel 7 2 Updated Mar 6, 2024