tinydev.art's starred repositories
quakespasm
QuakeSpasm -- A modern, cross-platform Quake game engine based on FitzQuake.
Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Kind-Legacy
A modern proof language
shimmering-focus
Minimalistic Obsidian Theme for keyboard-centric users.
homebrew-zathura
Homebrew formulae to build Zathura on Mac OS X
Awesome-Prompt-Engineering
This repository contains a hand-curated resources for Prompt Engineering with a focus on Generative Pre-trained Transformer (GPT), ChatGPT, PaLM etc
zotero-mdnotes
A Zotero plugin to export item metadata and notes as markdown files