Popular repositories Loading

1. dynalloy dynalloy Public

   1

2. org.alloytools.alloy org.alloytools.alloy Public

   Forked from AlloyTools/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 switch…

   Java

3. BeAFixICSE2021ArtifactEval BeAFixICSE2021ArtifactEval Public

4. gregistecco.github.io gregistecco.github.io Public

   Forked from alshedivat/al-folio

   A beautiful, simple, clean, and responsive Jekyll theme for academics

   JavaScript

5. CPUSimUNRC CPUSimUNRC Public

   Forked from Colby-CPU-Sim/CPUSim

   Java

6. circuitjs1 circuitjs1 Public

   Forked from pfalstad/circuitjs1

   Electronic Circuit Simulator in the Browser

   Java