ChaseWhite3's Stars
denoland/deno
A modern runtime for JavaScript and TypeScript.
ryanbaldini/MineSweeperNeuralNet
Teaching a neural net to play mine sweeper
hirako2000/gisteam
⚡️ Fast server side rendering code beautifier, minifier, pastebin, encoder/decoder and hash generator ⚡️
ChaseWhite3/linear-logic
ChaseWhite3/Coq_Learning
ChaseWhite3/Hello-World