isaacv-pl
Doctoral Candidate in CS at the University of Minnesota. Research interests: HoTT, Verification, Philosophy (Logic, Phenomenology, German Idealism), Theology
isaacv-pl's Stars
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
open-fpga/core-template
A template for getting started with FPGA core development
rksm/clj-org-analyzer
Fun with org data
lepisma/org-books
Reading list management with org mode
dallonasnes/spoonfed-commonvoice
CLI to generate Anki notes from Mozilla CommonVoice Datasets for language study
signalapp/libsignal
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
LadybirdBrowser/ladybird
Truly independent web browser
yijGit/Pierra
iaolo/iA-Fonts
Free variable writing fonts from iA
bakageddy/zathura-nord
Calder-Ty/ety
CLI etymology tool
lauroro/dots
My dots.
RUNFUNRUN/dotfiles
My desktop(Arch Linux + Hyprland) and laptop(MacOS) configs
nabakdev/dotfiles
My ArchLinux setup
passy1977/Archlinux_Framework13AMD_FullEncryption_TMP2.0_Xfce4
This repository contain my notes and file for helpme the in installation of Arch linux in my Framework 13 AMD 7040 whit Full-Disk Encryption and TMP2.0
samtay/tetris
A terminal interface for Tetris
frabjous/knap
Neovim plugin for creating live-updating-as-you-type previews of LaTeX, markdown, and other files in the viewer of your choice.
drawablex86/zettelgarden
Source code and notes for my digital garden๐ฑ
kyrose/awesome-digital-gardens
Inspirational digital gardens and resources for building your own ๐๐ป๐บ๐ฟ๐ท๐ผ๐ณ๐ป๐ท๐ผ๐ผ๐ป
jdhao/nvim-config
A modern Neovim configuration with full battery for Python, Lua, C++, Markdown, LaTeX, and more...
larstvei/Focus
Dim the font color of text in surrounding paragraphs
soimort/translate-shell
:speech_balloon: Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc.
martinescardo/HoTTEST-Summer-School
HoTTEST Summer School materials
reedrw/dotfiles
my dotfiles
ab-dx/blood_i3
ChocolateBread799/macintosh
betterlockscreen/betterlockscreen
๐ sweet looking lockscreen for linux system
NvChad/NvChad
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
GideonWolfe/vim.reaper
๐ A Hackable, Fully Featured, Rice Friendly Neovim Configuration
moldach/vapoRwave
๐ผ๐พ๐นVaporwave themes and color palettes for ggplot2๐พ๐จโ๐ค๐บ