Pinned Repositories
commitgpt
Generate Git commit messages with ChatGPT
coqgolf
Real Coq ninjas count every keystroke - do you?
guardian_db
Guardian DB integration for tracking tokens and ensuring logout cannot be replayed.
haskell-dev-env
An opinionated pre-built Dev Container for Haskell (which includes HLS, Cabal, Stack, a debugger, local Hoogle and useful extensions).
minted-pandoc-template
Setup for compiling LaTeX documents using Pandoc with Minted
pdfio
PDFio is a simple C library for reading and writing PDF files.
try
Simple CLI tool to try Composer packages
screensy
Simple peer-to-peer screen sharing
marijnvanwezel's Repositories
marijnvanwezel/try
Simple CLI tool to try Composer packages
marijnvanwezel/commitgpt
Generate Git commit messages with ChatGPT
marijnvanwezel/coqgolf
Real Coq ninjas count every keystroke - do you?
marijnvanwezel/guardian_db
Guardian DB integration for tracking tokens and ensuring logout cannot be replayed.
marijnvanwezel/haskell-dev-env
An opinionated pre-built Dev Container for Haskell (which includes HLS, Cabal, Stack, a debugger, local Hoogle and useful extensions).
marijnvanwezel/minted-pandoc-template
Setup for compiling LaTeX documents using Pandoc with Minted
marijnvanwezel/pdfio
PDFio is a simple C library for reading and writing PDF files.
marijnvanwezel/pythonl
Wat als je alleen maar nederlandse woorden zou gebruiken voor python sleutelwoorden?
marijnvanwezel/SemanticMediaWiki
🔗 Semantic MediaWiki turns MediaWiki into a knowledge management platform with query and export capabilities