Skip to content
View novafacing's full-sized avatar
☕
dilly dally shilly shally
☕
dilly dally shilly shally
149 followers · 206 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor
Block or Report

Block or report novafacing

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

Lists (11)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

Type: All
Language: Haskell
Sort by: Most stars
5 stars written in Haskell
Clear filter

github / semantic

Parsing, analyzing, and comparing source code across many languages

Haskell 8,919 451 Updated Jul 24, 2024

simplex-chat / simplex-chat

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Haskell 5,710 275 Updated Jul 30, 2024

GaloisInc / cryptol

Cryptol: The Language of Cryptography

Haskell 1,125 119 Updated Jul 30, 2024

GaloisInc / saw-script

The SAW scripting language.

Haskell 433 63 Updated Jul 19, 2024

kudu-dynamics / blaze

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

Haskell 41 3 Updated Jan 23, 2024