typesAreSpaces

Pinned Repositories

.emacs-cs-357-config
Template and example init files for CS 357
Language:Emacs Lisp1 2 00
.emacs.d
My emacs config files
Language:Emacs Lisp1 2 00
agora-app
Simple and (hopefully) secure social media application. Also a project for spring 2024 CS 444 cybersecurity class at UNM.
Language:Python0 0 00
AXDInterpolator
Language:C0 3 00
EUFInterpolator
Language:C++0 2 00
Parser-Evaluator-of-the-Simply-Typed-Lambda-Calculus
Language:Haskell1 1 00
PDA-to-CFG
Algorithm to convert a Push Down Automata (PDA) to a Context Free Grammar (CFG)
Language:C++1 1 00
QuickPandoc
Language:TeX0 2 00
QuickTex
Language:C++2 2 00
zsh.config
Language:Shell1 2 00

typesAreSpaces's Repositories

typesAreSpaces/QuickTex
Language:C++2 2 00
typesAreSpaces/.emacs.d
My emacs config files
Language:Emacs Lisp1 2 00
typesAreSpaces/zsh.config
Language:Shell1 2 00
typesAreSpaces/agora-app
Simple and (hopefully) secure social media application. Also a project for spring 2024 CS 444 cybersecurity class at UNM.
Language:Python0 0 00
typesAreSpaces/alacritty.conf
0 2 00
typesAreSpaces/AXDInterpolator
Language:C0 3 00
typesAreSpaces/archDotFiles
Language:Mathematica
typesAreSpaces/bspwm.config
Language:Shell
typesAreSpaces/CertSatQM
Language:JetBrains MPS1 0
typesAreSpaces/cv
Language:TeX2 0
typesAreSpaces/doom.config
Language:Emacs Lisp1 0
typesAreSpaces/karabiner-config
1 0
typesAreSpaces/latexmk.conf
Language:Perl2 0
typesAreSpaces/LazyVim
Neovim config for the lazy
Language:Lua1 0
typesAreSpaces/localScripts
Language:Python2 0
typesAreSpaces/macosDotFiles
Language:Ruby2 0
typesAreSpaces/NvChad
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
Language:Lua1 0
typesAreSpaces/nvim.conf
Person nvim configuration files
Language:Lua2 0
typesAreSpaces/personal_yasnippets
Language:YASnippet2 0
typesAreSpaces/PersonalLatexMacros
Language:TeX2 0
typesAreSpaces/polybar.conf
Language:Shell2 0
typesAreSpaces/sioyek.conf
Language:Shell2 0
typesAreSpaces/starter
Starter template for LazyVim
Language:Lua1 0
typesAreSpaces/starter-hugo-academic
Language:HTML2 0
typesAreSpaces/sxhkd.config
typesAreSpaces/tmux-resurrect
Persists tmux environment across system restarts.
Language:Shell0 0
typesAreSpaces/tmux.config
Tmux config files
Language:Shell2 0
typesAreSpaces/website
Language:HTML
typesAreSpaces/wezterm.conf
Language:Lua
typesAreSpaces/z3-interp-plus
This is a clone of https://github.com/Z3Prover/z3 extended with some utilities from the last version containing interpolantion tools (commit d088a1b9f6697d9663fe3ee3afad7a8bad06875e).
Language:C++