All IN Impls

in.md

• YALE (1998): Paper / Impl
  • Type: Text
  • Language: ??
  • Description:
• AMINE / MPINE (2000) Paper / Impl
  • Type: Text
  • Language: ??
  • Description: "In this evaluator, each variable in the calculus is represented as a node that has the same name as the variable, and the substitution operation for a variable requires a search to find the node which corresponds to the variables. To prevent searching those nodes deeply, annotated terms, that have name lists of terms as annotations, are introduced; however, processing these annotations consume a considerable amount of time during execution. MPINE was also proposed as a concurrent." (Design and implementation of a low-level language for interaction nets - Shinya Sato) computation version of AMINE.
• in² (2002): Paper / Impl
  • Type: Graphical
  • Language: C
  • Description
• INBlobs (2006): Paper / Impl
  • Type: Graphical
  • Language: ??
• BOHM (2008): Paper / Impl
  • Type: Text
  • Language: C
• PIN (2008): Paper / Impl
  • Type: Text
  • Language: ??
  • Description: "and it is also based on the graphical calculus, so it is free from substitutions of variables. It works on a newly introduced abstract machine with its bytecodes, and the computation is done by executing sequences of the bytecodes. Thanks to the bytecode technology, it can perform three times faster than AMINE"(Design and implementation of a low-level language for interaction nets - Shinya Sato)
• INET (2009): Paper
  • Type: Text
  • Language: ??
  • Description: "was proposed in 2009 [29] and it is considered as another version of PIN, therefore it is also based on the graphical calculus. Instead of using bytecodes, it translates the given nets into codes in the C language and compiles those. It can perform about six times faster than AMINE" (Design and implementation of a low-level language for interaction nets - Shinya Sato)
• amineLight (2010): Paper / Impl
  • Type: Graphical
  • Language: ??
  • Description: "was proposed in 2010 [30] and it is based on a newly introduced textual calculus, called lightweight calculus, which is a refined version of the calculus [17]. This calculus shows all essential computation can be performed by using lightweight substitutions: x= t, x= s→t= srather than using deep level substitutions: x= t, u= s→u[t/x] = s." It can perform between 20 and 520 times faster than AMINE" (Design and implementation of a low-level language for interaction nets - Shinya Sato)
• HINet (2015): Paper / Impl
  • Type: Text
  • Language: Haskell
• ingpu (2012): Paper / Impl
  • Type: Text
  • Language: CUDA / C++ I guess?
  • Description: Performance +- equal to amineLight because of the syncronization on GPU