nyaocat's starred repositories
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.
physfs-cpp
PhysFS++ is a C++ wrapper for the PhysicsFS library.
moonscript
:crescent_moon: A language that compiles to Lua