bu6n

Thimoo

Pinned Repositories

asdf-dprint
dprint plugin for the asdf version manager
Language:Shell1 3 31
quint
Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions
Language:TypeScript00
zotero
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
Language:JavaScript0 0 01
cc-wallet
Language:Svelte0 2 00
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language:TypeScript811 23 69531
react-big-calendar
gcal/outlook like calendar component
Language:JavaScript7.8k 82 1.8k2.2k
api
API documentation for Paymo
Language:JavaScript75 19 4531
docker-php-nginx
Docker image with PHP-FPM 8.3 & Nginx 1.26 on Alpine Linux
Language:Dockerfile1.4k 33 120739
zotero
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
Language:JavaScript10.2k 137 3.4k754

bu6n's Repositories

bu6n/quint
Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions
Language:TypeScript00
bu6n/zotero
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
Language:JavaScript0 0 01