Pinned Repositories
Alloy4Fun
A webapp for developing and sharing Alloy models
dmenu
My build of suckless' dmenu.
dotfiles
Some package's and shell's configuration files and some Scripts I use on my Arch Linux machines.
dwm
My build of suckless' dwm
dwmblocks
My status bar: my build of the modular dwmblocks
ErasmusHelper
HiGenA
Data-Driven Hint Generation for Alloy using Historial Student Submissions
olx-women-workshop-2022-frontend
Content for the Frontend portion of the OLX Women Workshop 2022
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Project_LCOM
anaines14's Repositories
anaines14/ErasmusHelper
anaines14/HiGenA
Data-Driven Hint Generation for Alloy using Historial Student Submissions
anaines14/Project_LCOM
anaines14/Alloy4Fun
A webapp for developing and sharing Alloy models
anaines14/dmenu
My build of suckless' dmenu.
anaines14/dotfiles
Some package's and shell's configuration files and some Scripts I use on my Arch Linux machines.
anaines14/dwm
My build of suckless' dwm
anaines14/dwmblocks
My status bar: my build of the modular dwmblocks
anaines14/olx-women-workshop-2022-frontend
Content for the Frontend portion of the OLX Women Workshop 2022
anaines14/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
anaines14/SDLE-proj2
anaines14/st