Pinned Repositories
awesome-program-analysis
Program Analisys and Transformation survey and links (particular focus on SSA)
BatteryCtl
Big-Data-Visualization
A visualization of data about the atmosphere across europe.
bytecodecpp
A bytecode interpreter for lox
Car-ECU-simulator
cascade
A responsive One-Line CSS Theme for Firefox.
cpplinks
A categorized list of C++ resources.
DiscordBot
Dotfiles
Dotfiles
linux
Linux kernel source tree
get-state's Repositories
get-state/guix-config
My personal config
get-state/awesome-program-analysis
Program Analisys and Transformation survey and links (particular focus on SSA)
get-state/BatteryCtl
get-state/Big-Data-Visualization
A visualization of data about the atmosphere across europe.
get-state/bytecodecpp
A bytecode interpreter for lox
get-state/Car-ECU-simulator
get-state/cascade
A responsive One-Line CSS Theme for Firefox.
get-state/cpplinks
A categorized list of C++ resources.
get-state/DiscordBot
get-state/Dotfiles
Dotfiles
get-state/algorithmica
A computer science textbook
get-state/awesome-formal-verification
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.
get-state/awesome-provable
A curated set of links to formal methods involving provable code.
get-state/get-state.github.io
get-state/guix-tailscale
Guix channel providing tailscale, tailscaled, and tailscale-service-type
get-state/hugo-stupidly-minimal
Stupidly Minimal is a clean, lightweight, and elegant theme for Hugo. It is designed with simplicity in mind and draws inspiration from modern typography, vibrant color palettes, and minimalist layouts.
get-state/hugo-theme-stack
Card-style Hugo theme designed for bloggers
get-state/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
get-state/libhuecpp
get-state/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.
get-state/nixos-config
Configuration for Nix system
get-state/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.
get-state/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
get-state/Particle-Simulator
Simulates the distances between particles getting closer and further
get-state/plzoo
Programming Languages Zoo
get-state/polybar-themes
A huge collection of polybar themes with different styles, colors and variants.
get-state/prezto
The configuration framework for Zsh
get-state/SimplerentFox
🦊 A Userstyle theme for Firefox minimalist, transparent and Keyboard centered
get-state/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
get-state/tide
🌊 The ultimate Fish prompt.