Popular repositories Loading

1. tlaplus tlaplus Public

   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. NetLogo NetLogo Public

   Forked from NetLogo/NetLogo

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

   HTML

3. modelling-quotes modelling-quotes Public

   Collection of quotes relevant to the science of modelling.

   HTML

4. incanter incanter Public

   Forked from incanter/incanter

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

   Clojure

5. lein-with-env-vars lein-with-env-vars Public

   Forked from athos/lein-with-env-vars

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

   Clojure

6. maxima-jupyter maxima-jupyter Public

   Forked from robert-dodier/maxima-jupyter

   A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)

   Common Lisp