Popular repositories Loading

1. lean4game-logic lean4game-logic Public

   Make/Encode some basic logic puzzles

   Lean 6 8

2. total-battle-toolkit total-battle-toolkit Public

   A personalized toolkit for Total Battle

   Rust 4

3. halogen-sudoku-solver halogen-sudoku-solver Public

   Constraint Propagation and Recursive Sudoku Solving with a minimal SPA Frontend written in PureScript

   PureScript 1

4. restfulgloom restfulgloom Public archive

   Repo for getting familiar with the Java Spring Framework: Backend Gloomhaven data store w/ Restful API to PUT/POST data and GET info (stats, etc).

   Java 1

5. gloomhaven-tools gloomhaven-tools Public

   Repo for getting familiar with Angular 2+: Google Doc collaboration tool for Gloomhaven.

   TypeScript

6. rxjs-my-guide rxjs-my-guide Public

   What I've learned about RxJS so far