Popular repositories Loading

1. Forked from tlaplus/tlaplus

   TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java

2. Forked from NetLogo/NetLogo

   turtles, patches, and links for kids, teachers, and scientists

   HTML

3. Collection of quotes relevant to the science of modelling.

   HTML

4. Forked from incanter/incanter

   Clojure-based, R-like statistical computing and graphics environment for the JVM

   Clojure

5. Forked from athos/lein-with-env-vars

   A Leiningen plugin for performing a task with environment variable settings loaded from project.clj

   Clojure