Pinned Repositories
book
A textbook on informal homotopy type theory
CoVaxxy
jbollenbacher.github.io
Profile website
parliament_and_facebook
RTI_job_interview_exercise
urbit
An operating function
ollama
Get up and running with Llama 3, Mistral, Gemma 2, and other large language models.
open-webui
User-friendly WebUI for LLMs (Formerly Ollama WebUI)
CoVaxxy
Global collection of English Twitter posts about COVID-19 vaccines
vaex
Out-of-Core hybrid Apache Arrow/NumPy DataFrame for Python, ML, visualization and exploration of big tabular data at a billion rows per second 🚀