Barry Jay (@Barry-Jay)
github

Barry-Jay

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    73
  • Global Rank 261,069 (Top 9 %)
  • Followers 45
  • Registered over 8 years ago
  • Most used languages
    Coq     80.0 %
    OCaml
         20.0 %
  • Location 🇦🇺 Australia
  • Country Total Rank 4,042
  • Country Ranking
    Coq     2
    OCaml
         5

Top repositories

1

bondi

source code for the bondi programming language
OCaml
38
star
2

Intensional-computation

translations of a lambda abstraction to combinations of operators
Coq
16
star
3

SF

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

Tree-calculus

proofs associated with tree calculus
Coq
5
star
5

lambdaSF

implementation of lambda-SF-calculus plus some basic theorems
Coq
3
star