getState's repositories
textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
nixos-config
Configuration for Nix system
plzoo
Programming Languages Zoo
Dotfiles
Dotfiles
cpplinks
A categorized list of C++ resources.
cascade
A responsive One-Line CSS Theme for Firefox.
online
Collabora Online is a collaborative online office suite based on LibreOffice technology. This is also the source for the Collabora Office apps for iOS and Android.
bytecodecpp
A bytecode interpreter for lox
modus-themes.nvim
Highly accessible themes for Neovim, conforming with the highest standard for color contrast between background and foreground values (WCAG AAA). A Neovim port of the original Modus Themes built for GNU Emacs.
prezto
The configuration framework for Zsh
hugo-theme-stack
Card-style Hugo theme designed for bloggers
onlyoffice-nextcloud
The app which enables the users to edit office documents from Nextcloud using ONLYOFFICE Document Server, allows multiple users to collaborate in real time and to save back those changes to Nextcloud
Particle-Simulator
Simulates the distances between particles getting closer and further
Big-Data-Visualization
A visualization of data about the atmosphere across europe.
SimplerentFox
🦊 A Userstyle theme for Firefox minimalist, transparent and Keyboard centered
awesome-program-analysis
Program Analisys and Transformation survey and links (particular focus on SSA)
learn-tt
A collection of resources for learning type theory and type theory adjacent fields.