leepike/theresistance leepike/theresistance

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leepike/theresistance
github

leepike

Reviews

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

Repository Details

Bayesian solver for The Resistance card game: https://en.wikipedia.org/wiki/The_Resistance_(game)

More Repositories

1

Copilot

A (Haskell DSL) stream language for generating hard real-time C code.
Haskell
148
star
2

SmartCheck

A Smarter QuickCheck
TeX
102
star
3

copilot-sbv

SBV backend for Copilot.
Haskell
5
star
4

ivory-hoare-examples

Small pre/post examples in Ivory.
Haskell
1
star