Skip to content
View Barry-Jay's full-sized avatar
46 followers · 0 following
  • Sydney, Australia

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report Barry-Jay

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

  1. Intensional-computation Intensional-computation Public

    translations of a lambda abstraction to combinations of operators

    Coq 16 4

  2. bondi bondi Public

    source code for the bondi programming language

    OCaml 38 11

  3. lambdaSF lambdaSF Public

    implementation of lambda-SF-calculus plus some basic theorems

    Coq 3 3

  4. SF SF Public

    Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus

    Coq 11 1

  5. typed-lambdaFactor typed-lambdaFactor Public

    a typed version of lambda-calculus with factorisation that supports self-interpretation

    Coq 1

  6. L-calculus L-calculus Public

    A combinatory account of lambda-abstraction that preserves normalisation and term size