themattchan/purescript-sokoban themattchan/purescript-sokoban

  • Stars
    star
    1
  • Language PureScript
  • Created about 8 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
themattchan/purescript-sokoban
github

themattchan

Reviews

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

Repository Details

sokoban

More Repositories

1

core

SPJ's tutorial on implementing functional languages
Haskell
28
star
2

haskell-tiger

Modern compiler implementation in ML, in Haskell
Haskell
16
star
3

tiger

Modern Compiler Implementation in ML
Standard ML
11
star
4

lamb

Haskell
11
star
5

advent-of-code

http://adventofcode.com/
Haskell
9
star
6

flycheck-liquidhs.el

Flycheck checker for LiquidHaskell
Emacs Lisp
5
star
7

bnf-to-parsec

generate a parsec parser + datatype from a bnf grammar
Haskell
4
star
8

liquid-types.el

LiquidHaskell type popup for Emacs.
Emacs Lisp
4
star
9

haskpie

Haskell
4
star
10

emacs.d

Emacs Lisp
3
star
11

haskell-flags-set

Efficient representation of program flags
Nix
3
star
12

SICP

Adventures in Scheme
PostScript
2
star
13

software-foundations

Learning formal verification.
Coq
2
star
14

purescript-reveal

Slideshow DSL
PureScript
2
star
15

docgen

scrape webpages -> pdf
HTML
2
star
16

toad

a crummy static site generator
Racket
1
star
17

hackerrank

Haskell
1
star
18

dotfiles

hacky shell scripts
Shell
1
star
19

projecteuler

Learning Haskell and having fun with math problems.
Haskell
1
star
20

99problems

Scala
1
star
21

MicrosoftCC14

Problems from the Microsoft Coding Challenge at UCSD, Feb 21 2014.
Haskell
1
star
22

haskell-src-qq

Haskell
1
star
23

lsp-purescript

Emacs Lisp
1
star
24

pebble_bop

Bop-it for Pebble.
C
1
star
25

circles

Fun with Elm
Elm
1
star
26

yoctolens

even smaller than microlens
Haskell
1
star
27

puzzles

Haskell
1
star