Repositories list

• carneades-4

  Public
  Version 4 of Carneades, implemented in Go

  Go

  •

  Other

  •13•48•17•0•Updated Oct 15, 2024Oct 15, 2024

• carneades.github.io

  Public
  Carneades Website

  HTML

  •0•0•0•0•Updated Jul 4, 2024Jul 4, 2024

• carneades-3

  Public
  Third version of Carneades, an integrated set of tools for argument (re)construction, evaluation, mapping and interchange.

  Clojure

  •6•38•54•0•Updated Oct 17, 2019Oct 17, 2019

• argument-mapping

  Public
  Carneades-4 Argument Map Editor and Browser

  Mozilla Public License 2.0

  •1•0•0•0•Updated Mar 24, 2017Mar 24, 2017

• carneades-2

  Public
  Second version of Carneades, a single-user desktop application, implemented in Clojure, with a graphical user interface. Also known as the Carneades Editor.

  Clojure

  •1•4•0•0•Updated Feb 17, 2017Feb 17, 2017

• caes2-formalization

  Public
  Isabelle Formalization of Carneades Argument Evaluation Structures, Version 2

  Isabelle

  •

  Mozilla Public License 2.0

  •0•2•0•0•Updated Apr 26, 2016Apr 26, 2016

• carneades-1

  Public
  First version of Carneades, implemented in Scheme

  Scheme

  •2•3•0•0•Updated Feb 12, 2015Feb 12, 2015