Adam (@adampalay)
github

adampalay

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,430 (Top 26 %)
  • Followers 27
  • Following 20
  • Registered about 12 years ago
  • Most used languages
    Coq     25.0 %
    Haskell
         25.0 %
    TLA     25.0 %
    Python
         25.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 126,237
  • Country Ranking
    TLA     23
    Coq     180
    Haskell
         1,094

Top repositories

1

SKITypes

Implementing the SKI combinator calculus in Haskell's type system
Haskell
6
star
2

circuit-finder

use tla+ to find programs, from circuits, quantum, to Lisp
TLA
5
star
3

pypoems

Python
3
star
4

coq-intro

Working through "Coq in a Hurry" https://cel.archives-ouvertes.fr/inria-00001173v6/document
Coq
1
star