zamfofex

avatar by Pohretra

Pinned Repositories

url-specification
A rephrasing and generalisation of the WHATWG URL Standard
Language:HTML7 6 160
agda-magic
Use Haskell libraries from Agda directly!
Language:Haskell3 1 00
agda-url
Language:Agda5 2 00
drawings
a website for making and sharing drawings
Language:HTML2 1 00
dummyette
yet another chess bot + Lichess API and chess library
Language:JavaScript22 2 51
jxl-crx
browser extension to display JPEG XL images
Language:JavaScript100 3 216
leela-lichess
use Leela Chess Zero for analysis on Lichess
Language:JavaScript2 2 00
millichess
Language:JavaScript5 1 00
packages
some (hopefully) interesting Guix packages
Language:Scheme3 1 00
v-wasm
Language:HTML61 1 63

zamfofex's Repositories

zamfofex/codejar
An embeddable code editor for the browser 🍯
Language:TypeScript1 0 0
zamfofex/lc0
Language:C++