gshen42/HasChor gshen42/HasChor

  • Stars
    star
    80
  • Rank 404,329 (Top 8 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 2 years ago
  • Updated about 2 months 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
5

CodeVault

Assorted random code
Haskell
1
star