Skip to content
View AlecsFerra's full-sized avatar
👾
λ
👾
λ
54 followers · 48 following

Achievements

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

Achievements

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

Block or report AlecsFerra

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
AlecsFerra/README.md

(λ x . x x) (λ x . x x)

Pinned Loading

  1. MSc-Thesis MSc-Thesis Public

    A general framework for constructing sound and complaete Hoare-like logics, unifying the theory of partial correctness

    TeX

  2. RecStaticAnalyzer RecStaticAnalyzer Public

    An abstract interpretation based static analyzer for the REC programming language, supports strictness and sign analysis

    Haskell 3

  3. ProtoAgda ProtoAgda Public

    A simple implementation of a dependently typed programming language with meta-variables.

    Haskell 1

  4. PolynomialFunctors PolynomialFunctors Public

    Data-types as fixpoints of polynomial functors

    Agda 1

  5. ucsd-progsys/liquidhaskell ucsd-progsys/liquidhaskell Public

    Liquid Types For Haskell

    Haskell 1.2k 139

  6. ucsd-progsys/liquid-fixpoint ucsd-progsys/liquid-fixpoint Public

    Horn Clause Constraint Solving for Liquid Types

    Haskell 141 61