Pinned Loading

1. DeTikZify DeTikZify Public

   Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

   Python 1.6k 84

2. pantran.nvim pantran.nvim Public

   Use your favorite machine translation engines without having to leave your favorite editor.

   Lua 324 7

3. tdelta/KollaborierbaR tdelta/KollaborierbaR Public

   A Collaborative Web IDE for Reasoning about Programs

   TypeScript 6 1

4. tdelta/SynergyQuest tdelta/SynergyQuest Public

   SynergyQuest is a 2D top-down cooperative multiplayer action-adventure video game using web-based smartphone controllers.

   C# 14 1

5. dotfiles dotfiles Public

   My personal dotfiles for most of the programs I use on a daily basis.

   Lua 179 7

6. itt-courier-110169-to-usb itt-courier-110169-to-usb Public

   Convert an ITT Courier 110169 Keyboard to USB!

   C 1 1