ljbrooks

Pinned Repositories

2048-ai
AI for the 2048 game
Language:Python00
drawtree
Draw binary tree in plain text
Language:Python00
haskell-ebook
00
minesweeper
minesweeper GUI
Language:Java00
pyaig
Language:Python0 1 00
sail-riscv
Sail RISC-V model
Language:Coq00
scrabble
Language:Java00
scrabble-1
Language:JavaScript00
scrabble-html-ui
Playful experiment with HTML and Javascript to emulate the famous letter game board
Language:JavaScript00
superkb_release
Release of superkb solver form btor2 format and beyond. The release is built on ubuntu 18.04
Language:Python00

ljbrooks's Repositories

ljbrooks/2048-ai
AI for the 2048 game
Language:Python00
ljbrooks/drawtree
Draw binary tree in plain text
Language:Python00
ljbrooks/haskell-ebook
00
ljbrooks/minesweeper
minesweeper GUI
Language:Java00
ljbrooks/pyaig
Language:Python0 1 00
ljbrooks/sail-riscv
Sail RISC-V model
Language:Coq00
ljbrooks/scrabble
Language:Java00
ljbrooks/scrabble-1
Language:JavaScript00
ljbrooks/scrabble-html-ui
Playful experiment with HTML and Javascript to emulate the famous letter game board
Language:JavaScript00
ljbrooks/superkb_release
Release of superkb solver form btor2 format and beyond. The release is built on ubuntu 18.04
Language:Python00
ljbrooks/TWL06
Official Scrabble dictionary packaged into a convenient Python module.