technicalguy

Pinned Repositories

2023-simple-tetris-project-python
Language:Python00
acs-category-theory-notes-2017
Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
Language:TeX135
ansible-nas-1
Build a full-featured home server or NAS replacement with an Ubuntu box and this playbook.
Language:Shell00
biblatex-lncs
BiBLaTeX style for Springer Lecture Notes in Computer Science
Language:TeX00
bracketMatcherBot
Language:Python00
contrast
Jekyll Theme
Language:JavaScript00
dotfiles-1
Mainly vimfiles
Language:Vim script00
dragon-book-exercise-answers
Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。
Language:HTML00

technicalguy's Repositories

technicalguy/acs-category-theory-notes-2017
Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
Language:TeX135
technicalguy/2023-simple-tetris-project-python
Language:Python00
technicalguy/ansible-nas-1
Build a full-featured home server or NAS replacement with an Ubuntu box and this playbook.
Language:Shell00
technicalguy/biblatex-lncs
BiBLaTeX style for Springer Lecture Notes in Computer Science
Language:TeX00
technicalguy/bracketMatcherBot
Language:Python00
technicalguy/contrast
Jekyll Theme
Language:JavaScript00
technicalguy/dotfiles-1
Mainly vimfiles
Language:Vim script00
technicalguy/dragon-book-exercise-answers
Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。
Language:HTML00
technicalguy/hack-cambridge-website
Hack Cambridge online! https://hackcambridge.com
Language:JavaScript01
technicalguy/iac-tutorial
Starting point repo for Infrastructure as Code Tutorial
Language:Ruby
technicalguy/jekyll-katex
Jekyll plugin for easy server-side math rendering via KaTeX
technicalguy/jumpapp
A run-or-raise application switcher for any X11 desktop
Language:Shell
technicalguy/latexrun
A 21st century LaTeX wrapper
Language:Python
technicalguy/OnDemandMinecraft
An AWS hosted Minecraft server that will only run when players are active. Players can start the server through a simple UI accessed through free Heroku server hosting.
Language:Python1 0
technicalguy/rust
A safe, concurrent, practical language.
Language:Rust
technicalguy/servo
The Servo Browser Engine
Language:Rust
technicalguy/test-pull-requests-arbitary-content-on-clone
Can you make people clone aribtary content from a repository by just submitting a pull request to that repository?
1
technicalguy/zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org