typesAreSpaces

followers

following

stars

Jose Abel Castellanos Joo's repositories

QuickTex

Language:C++2 20

.emacs.d

My emacs config files

Language:Emacs Lisp1 20

zsh.config

Language:Shell1 20

agora-app

Simple and (hopefully) secure social media application. Also a project for spring 2024 CS 444 cybersecurity class at UNM.

Language:Python000

alacritty.conf

020

AXDInterpolator

Language:CMIT030

archDotFiles

Language:Mathematica000

bspwm.config

Language:Shell000

CertSatQM

Language:JetBrains MPS010

cv

Language:TeX020

doom.config

Language:Emacs Lisp010

karabiner-config

010

latexmk.conf

Language:Perl020

LazyVim

Neovim config for the lazy

Language:LuaApache-2.0010

localScripts

Language:Python020

macosDotFiles

Language:Ruby000

NvChad

Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.

Language:LuaGPL-3.0010

nvim.conf

Person nvim configuration files

Language:Lua020

personal_yasnippets

Language:YASnippet020

PersonalLatexMacros

Language:TeXGPL-3.0020

polybar.conf

Language:Shell020

sioyek.conf

Language:Shell020

starter

Starter template for LazyVim

Language:LuaApache-2.0010

starter-hugo-academic

Language:HTMLMIT020

sxhkd.config

000

tmux-resurrect

Persists tmux environment across system restarts.

Language:ShellMIT000

tmux.config

Tmux config files

Language:Shell020

website

Language:HTMLMIT000

wezterm.conf

Language:Lua000

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++NOASSERTION000