gshen42/HasChor gshen42/HasChor

  • Stars
    star
    70
  • Rank 445,236 (Top 9 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 2 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gshen42/HasChor
github

gshen42

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Functional choreographic programming in Haskell

More Repositories

1

ml-type-inference

ML-style type inference in Prolog
Prolog
4
star
2

cut

Cut elimination for intuitionistic propositional logic and its applications.
Agda
2
star
3

chor-alg.paper

TeX
2
star
4

agda-playground

Agda
1
star