astahfrom/minerunner astahfrom/minerunner

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created almost 11 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
astahfrom/minerunner
github

astahfrom

Reviews

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

Repository Details

A simple game in Haskell and Gloss

More Repositories

1

piecetable

Piece Table in Rust for efficient sequential insertion and removal (unmaintained)
Rust
11
star
2

prettiest

A Pretty but not Greedy Printer in OCaml
OCaml
9
star
3

algfinder

Graphical Rubik's Cube algorithm finder in Rust
Rust
5
star
4

turning-snake

A simple Snake-like game with a twist in 120 lines of F#
F#
2
star
5

isasnips

Generate LaTeX snippets for Isabelle theories.
Rust
1
star
6

cartouches

Parses Isabelle LaTeX output into manageable snippets.
Rust
1
star
7

hybrid_termination

Unfinished work on proving termination for a hybrid logic tableau system
Isabelle
1
star
8

htmlbib

Create an HTML list of publlications from a BibTeX file
Rust
1
star