Skip to content
Change the repository type filter

All

    Repositories list

    • analyseur

      Public
      analyseur is a module for analyzing (potentially) myriad models developed (or involved) in Dr. Benoît Girard’s lab
      Python
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 31, 2026Mar 31, 2026
    • NetLogo

      Public
      turtles, patches, and links for kids, teachers, and scientists
      HTML
      GNU General Public License v2.0
      270000Updated Jun 3, 2025Jun 3, 2025
    • tlaplus

      Public
      TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
      Java
      MIT License
      264000Updated Jun 3, 2025Jun 3, 2025
    • A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
      Common Lisp
      Other
      32000Updated Nov 18, 2024Nov 18, 2024
    • incanter

      Public
      Clojure-based, R-like statistical computing and graphics environment for the JVM
      Clojure
      286000Updated Nov 18, 2024Nov 18, 2024
    • C++
      74000Updated Sep 24, 2020Sep 24, 2020
    • For more details, please refer to our official website
      C
      0000Updated Jun 23, 2020Jun 23, 2020
    • Collection of quotes relevant to the science of modelling.
      HTML
      BSD 3-Clause "New" or "Revised" License
      0000Updated Nov 23, 2018Nov 23, 2018
    • A Leiningen plugin for performing a task with environment variable settings loaded from project.clj
      Clojure
      Eclipse Public License 1.0
      1000Updated Sep 11, 2018Sep 11, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.