anaines14's repositories
Alloy4Fun
A webapp for developing and sharing Alloy models
Language:JavaScript000
dmenu
My build of suckless' dmenu.
Language:CMIT000
dotfiles
Some package's and shell's configuration files and some Scripts I use on my Arch Linux machines.
Language:ShellMIT000
dwm
My build of suckless' dwm
Language:CMIT000
dwmblocks
My status bar: my build of the modular dwmblocks
Language:CISC000
olx-women-workshop-2022-frontend
Content for the Frontend portion of the OLX Women Workshop 2022
Language:JavaScript000
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.
Language:JavaNOASSERTION000
Language:Java000
Language:CMIT000