Fyrbll/pwrt-racket Fyrbll/pwrt-racket

  • Stars
    star
    2
  • Language
    Racket
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Fyrbll/pwrt-racket
github

Fyrbll

Reviews

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

Repository Details

Typed Racket Code for Programming with Refinement Types

More Repositories

1

intero-vim

Port of intero-neovim for vim 8
Vim Script
9
star
2

cheesecake-public

A theorem prover written in Racket
Racket
5
star
3

bluetooth

Haskell bindings to OS-specific Bluetooth libraries.
Haskell
3
star