goodlyrottenapple/Holiday-inator-3000 goodlyrottenapple/Holiday-inator-3000

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
goodlyrottenapple/Holiday-inator-3000
github

goodlyrottenapple

Reviews

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

Repository Details

More Repositories

1

quickjs-hs

Haskell bindings for the QuickJS library
Haskell
5
star
2

calculus-toolbox-2

New version of the calculus toolbox
Haskell
3
star
3

isabelle-syllogisms

Isabelle/HOL formalisation of simple syllogistic logics
Isabelle
2
star
4

POStagger

A Part-Of-Speech tagger using the Viterbi algorithm
Haskell
1
star
5

muddy-children

The Muddy Children Puzzle formalised in Isabelle 2016
Scala
1
star